Proposiciones logicas

Características: Tipos de
Proposiciones simples o
Las proposiciones simples son aquellas
 Es el significado o contenido
de una oración aseverativa. que no tienen otras oraciones dentro de
 La oración que lo expresa
debe tener sentido. sí mismas, solo tienen un sujeto y un
 Afirma o niega algo de algo. predicado, por lo tanto, no tiene
 Se atribuye un solo valor
veritativo: Verdadero o falso. conectivo u operador lógico
Ejemplo: Pedro castillo es presidente
de Perú. p
2+7<19
r
Proposiciones compuestas o
Son aquellas que contienen dentro de sí Lenguaje coloquial Lenguaje Nombre del
mismas más de una proposición simple. simbólico colectivo
Si….entonces… → Condicional
Estas se relacionan a través de conectivos …si y solo si… ↔≡ Bicondicional
u operadores lógicos. Disyunción fuerte
Negación O bien…o bien. ⊻ o exclusiva
Y…sin embargo… ∧ Conjunción lógica
Ejemplo: Pedro castillo no es presidente además.
o...a menos que…
de Perú.¬p ya bien…salvo
que…excepto Disyunción lógica
Tabla de verdad que…o incluso… ∨
y/o.
p q p ∧q p∨q p→ q p↔q p≡q p⊻q ¬p
V V V V V V V F F
No…nunca…jamás ¬ - Negador lógico
Ni…ni.. Inalternador
V F F V F F F V F
F V F V V F F V V No…o no… / Incompatibilizador
F F F F V V V F V
p q (¬p ∧ q) → (¬p ∨ q)
#Filas= 2n = n filas V V F F V V F V V
V F F F F F F F F
p q (p ∧ ¬q) ↔ (¬p ∨ q) F V V V V F V V V
V V V F F F F V V F F V F F V V V F
V F V V V F F F F
F V F F F F V V V
F F F F V F V V F MATRIX PRINCIPAL
Tautolo
MATRIX PRINCIPAL
p
V
q
V
(p
V
∧
V V
q) ⊻
V
gía
(q
V
∨ ¬ p)
F F
Contradicc
Tautología: Afirmación en su totalidad.
V F V F F F F F F
F V F F V V V V V
Contradicción: Negación en su F F F F F F F F V
totalidad.

Contingencia: Hay cierta verdad dentro MATRIX PRINCIPAL

de las mentiras. (Viceversa). Contradicc