Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conectivas Logicas y T. de La Verdad (20) - 1
Conectivas Logicas y T. de La Verdad (20) - 1
Conectivas Básicas
En el primer cuadro se presentan las conectivas lógicas básicas, sus símbolos y los
términos del lenguaje general a los cuales se relacionan:
Enunciado Símbolos
Nombre Símbolo Significado
Compuesto Alternativos
… y…, __ ^
Conjunción . (p ^ q)
aunque __
Disyunción
ˇ (pˇ q) … o…., __ y/o…
Inclusiva
Disyunción
W (p w q) O bien… o bien…
Excluyente
Condicional → (p → q) Si… entonces … =>
Bicondicional = (p = q) … si y solo si … <=>
No, no es cierto ¬, ~
Negación - -p
que…
CONJUNCIÓN
P . Q
V V V Es verdadero solamente si las dos
F F V proposiciones son verdaderas. En el
V F F
F F F resto de los casos es falso
DISYUNCIÓN INCLUYENTE
P v Q
V V V Es verdadero si, al menos, una de las
F V V proposiciones es verdadera. En el
V V F
F F F resto de los casos es falso
DISYUNCIÓN EXCLUYENTE
P w Q
V F V Es verdadero si las proposiciones tienen distinto grado
F V V de verdad. Es falso si las proposiciones tienen el
V V F mismo grado de verdad
F F F
CONDICIONAL
P → Q
V V V Es falso solamente si el antecedente es
F V V verdadero y el consecuente es falso. En el
V F F resto de los casos es verdadero
F V F
BICONDICIONAL
P = Q
V V V Es verdadero si las proposiciones tienen el mismo
F F V grado de verdad. Es falso si las proposiciones tienen
V F F distinto de verdad
F V F
NEGACIÓN
P -P
V F
F V
Ejercicios
1) Ejercicio de formalización. Formalice las siguientes expresiones:
• “No participo de la emboscada ni del robo”
• “No es cierto que el contrato de compraventa sea un acto gratuito y unilateral”
• “El profesor de derecho penal recomendó a Núñez o recomendó a Fontan Balestra”
• “Juan estaba en la escena del crimen o no estaba en la escena del crimen.”
• “Si viola la norma entonces ira preso”
• “Sumara puntos si y solo si gana el partido”
2) Ejercicio de interpretación:
a. De un ejemplo en lenguaje natural de cada una de las conectivas lógicas.
b. De un ejemplo en lenguaje natural de las siguientes proposiciones moleculares:
• (p v q)
• (p v q).-p
• -(p . q)
2) Realice los siguientes ejercicios de tablas de Verdad y determinar si sus resultados
son contingencias, contradicciones o tautologías:
• (p . q)=>r
• [(p=>q).p]=>q
• [(p v q).-p]=>q
• -[(p v q).-p]=>q
• [(p=>r).q] v (r . p)