Conectivos lgicos y
operaciones lgicas
Los conectivos son palabras o trminos
que se usan para enlazar proposiciones o
cambiar el valor de verdad de una
proposicin. A la asociacin de una
proposicin y un conectivo se le llama
operacin lgica.
LA DISYUNCIN
Tabla de verdad de la negacin
Si la proposicin es VERDADERA, su
negacin es FALSA; y si la proposicin es
FALSA, su negacin es VERDADERA.
Las operaciones lgicas son las
siguientes: la negacin, la conjuncin, la
disyuncin, el condicional y el
bicondicional.
~p
LA CONJUNCIN
Es la operacin que enlaza dos
proposiciones mediante el conectivo y o
alguna expresin equivalente.
Tabla de verdad de la conjuncin
La conjuncin es VERDADERA cuando las
dos componentes son verdaderas; en los
dems casos es FALSA.
LA NEGACIN
Es la operacin que contradice a una
proposicin, cambindole su valor de
verdad.
La negacin utiliza las palabras: no, no es
cierto que, es falso que, no ocurre que,
no es verdad que, no es el caso que, etc.
Es la operacin que enlaza dos
proposiciones mediante el conectivo o.
Tabla de verdad de la disyuncin
La disyuncin es VERDADERA en los
casos que ambas componentes tengan
valores de verdad opuestos, y es FALSA,
si ambas componentes tienen el mismo
valor de verdad.
LA DISYUNCIN FUERTE O EXCLUSIVA
En esta operacin las proposiciones estn
unidas por Oo
Tabla de verdad de la disyuncin fuerte o
exclusiva
La disyuncin fuerte es VERDADERA en
los casos que ambas componentes
tengan valores de verdad opuestos, y es
FALSA, si ambas componentes tienen el
mismo valor de verdad.
EL BICONDICIONAL
p
V
V
F
V
V
F
F
F
V
F
V
F
Es la operacin que est compuesta por
dos proposiciones unidas por el conectivo
si y solo si o expresiones equivalentes.
Tabla de verdad del bicondicional
Se observa que:
EL CONDICIONAL
Es
la
operacin
que
toma
dos
proposiciones, una primera llamada
antecedente y la segunda llamada
consecuente, y los une a travs del
conectivo
Si
entonces
o
expresiones equivalentes.
El bicondicional es VERDADERO cuando
las dos componentes tienen igual valor
de verdad; en los dems casos es FALSO
<-->
Tabla de verdad del condicional
El condicional es FALSO cuando el
antecedente
es
verdadero
y
el
consecuente es falso; en los dems casos
es VERDADERO.
->
CONECTIVOS
LOGICOS Y
NOMBRE:
OPERACIONES
Leonardo Castillo Ipanaqu
LOGICAS
PROFESOR:
Justo Pastor Aguirre
Cabrera
CURSO:
Matemtica
GRADO Y SECCION:
4 Grado B De Secundaria