PROPOSICIONES proposición es toda expresión verbal o escrita sobre cuyo significado tiene sentido afirmar que es

verdadero o falso.
2n filas o combinaciones posibles donde n es el número de proposiciones

p p q p q r OPERACIONES CON PROPOSICIONES

V V V V V V
F v F V V F 1) NEGACION(~)
F V V F V
p ~p 2) CONJUNCION(ᴧ) PRODUCTO LOGICO "Y"
F F V F F
F V V V F
F V F F V las palabras: pero,aunque,sin embargo,no obstante sirven
F F V
F F F
para unir dos proposiciones y construir conjunciones
3) DISYUNCION(V) SUMA LOGICA "O"
p q p ᴧq
la disyuncion inclusiva indica que puede verificarse las
dos proposiciones a la vez es decir que una de las V V V
proposiones no excluya a la otra V F F
p q p v q F V F
V V V F F F
V F V
F V V
F F F

5) CONDICIONAL O IMPLICACION (→) ( si p,entonces q) 4) DISYUNCION EXCLUSIVA (⊻ ) ( "O" p ''O" q)

p q p ⊻ q
"p es condicion suficiente para q" p q p →q V V F
"q es condicion necesaria para p" V V V V F V
"p solo si p" V
V F F F V
"si p tambien q"
F V V F F F
"q cuando p"
"q cada vez que p'' F F V
"q siempre que p"
"p implica q"

6) BICONDICIONAL (DOBLE IMPLICACION) (↔) ( p si, solo si, q)

"p es condicion suficiente y necesaria para q"

"q es condicion necesaria y suficiente para p"
"p siempre y cuando que q "

p q p →q q →p (p → q) ^ (q → p) p q p ↔q
V V V V V V V V
V F F V F V F F
F V V F F F V F
F F V V V F F V
 CLASIFICACION DE FORMULAS PROPOSICIONALES

TAUTOLOGIA CONTRADICCION
Es una formula proposicional que resulta verdadera en Es una formula proposiconal, cuyo valor de
todos los casos, independientemente de los valores de verdad resulta siempre falso,
verdad de las proposiciones independientemente de los valores de verdad
de las proposicones
p q p ^q p vq (p ^ q) → (p v q)
V V V V V p q (p → q) (p → q) ^ p ~q [(p → q) ^p] ^ ~q
V F F V V
V V V V F F
F V F V V
V F F F V F
F F F F V
F V V F F F
F F V F V F
CONTINGENCIA

Es una formula proposiconal, que no es tautologia ni p q ~p ~p → q (~p → q) ^p] v p

contradiccion es decir si en la ultima columna de su tabla de V V F V V

verdad aparecen por lo menos una vez cada uno de los V F F V V

F V V V V
valores de verdad , "V y "F"
F F V F F

RELACION ENTRE FORMULAS PROPOSICIONALES

IMPLICACION LOGICA EQUIVALENCIA LOGICA

Se dice que f1(p,q,r) implica
p q ~p ~q p → ~q) ~p V ~q
logicamente f2(p,q,r) si, y solo si, la
condicional f1(p,q,r) → f2(p,q,r) es V V F F F F
una tautologia V F F V V V

p q p ^ q (p ^ q) → p F V V F V V
V V V V F F V V V V
V F F V
F V F V Se dice que f1(p,q,r) <=> f2(p,q,r) se lee: f1(p,q,r) es logicamente
F F F V
equivalente a f2(p,q,r)
Luego la condicional (p ^ q) → p indicamos simbolicamente
(p ^ q) => p, se lee " p y q implica p "

PROPOSICIONES ASOCIADAS A UNA CONDICONAL

CONDICIONAL RECIPROCA ( O CONVERSA) CONDICIONAL CONTRARIA ( O INVERSA) CONDICIONAL CONTRARRECIPROCA ( O CONTRAPOSITIVA)

La condicional reciproca de p → q es q → p La condicional contraria de p → q es ~p → ~q La condicional contrarreciproca de p → q es ~q → ~p

DIRECTA RECIPROCA CONTRARIA CONTRARRECIPROCA

p q p→q q →p ~p → ~q ~q → ~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
 IDENPOTENCIA CONMUTATIVIDAD ASOCIATIVIDAD
(p ᶺ q) <=> (q ᶺ p) [(p ᶺ q) ᶺ r ]<=> [p ᶺ (q ᶺ r)]
(p ᶺ p) <=> p
(p v q) <=> (q v p) [(p v q) v r ]<=> [p v (q v r)]
(q v q) <=> q (p ⊻ q) <=> (q ⊻ p)
[(p ⊻ q) ⊻ r] <=> [p ⊻ (q ⊻ r)]
~(p→r) v ~(p→r) <=> ~(p→r) (p ↔ q) <=> (q ↔p)
[(p ↔ q) ↔ r]<=> [p ↔ (q ↔ r)]

LEYES DE LA CONDICIONAL (IMPLICACION MATERIAL)

DISTRIBUTIVIDAD (p → q) <=> (~p v q) definicion de la implicacion material
[p ᶺ (q v r) ] <=> [(p ᶺ q) v (p ᶺ r)] (p → q) <=> (~q → ~p) ley de transposicion

[p v (q ᶺ r) ] <=> [(p v q) ᶺ (p v r)] [p →(q → r ) <=> [q →(p → r) ley de conmutacion simple

[p → (q ᶺ r) ] <=> [(p → q) ᶺ (p → r)] [(p ^ q) → r ] <=> [p →(q → r)] 1ra ley de exportacion

[p → (q v r)] <=> [(p → q) v (p → r)] [(p ^ q) → r ] <=> [q →(p → r)] 2da ley de exportacion

[p → (q ↔ r)] <=> [(p → q) ↔ (p → r)]

NEGACION DE LAS OPERACIONES BINARIAS

LEYES DE LA BICONDICIONAL (EQUIVALENCIA MATERIAL) ~(p ᴧ q) <=> (~p v ~q) ley de morgan

(p ↔ q) <=> [(p ᴧ q) v (~p ᴧ ~q)] ~(p v q) <=> (~p ᴧ ~q) ley de morgan
~(p → q) <=> (p ᴧ ~q)
(p ↔ q) <=> [(p → q) ᴧ (q → p)]
~(p ↔ q) <=> (p ⊻ q)
(p ↔ q)<=> (~p ↔ ~q) Inversion de la bicondiconal
~(p ↔ q) <=> (~p ↔ q)
(p ↔ q) <=> (~q ↔ ~p) ] Transposicion de la bicondicional ~(p ↔ q) <=> (p ↔ ~q)
~(p ↔ q) <=> (p ᴧ ~q) v (~p ᴧ q)
~(p ⊻ q) <=> (p ↔ q)
LEYES DE IDENTIDAD
(p ᴧT ) <=> p ( T es elemento Neutro en ᴧ )
(p ᴧF ) <=> F (F es elemento Absorbente en ᴧ )
LEY DE ABSORCION
(pv T ) <=> T ( T es elemento Absorbente en v )
(pv F ) <=> p ( F es elemento Neutro en v ) [p ᴧ (p v q)] <=> p

T= True F= False [ p v (p ᴧ q)] <=> p

LEYES DE COMPLEMENTACION
( p v ~p ) <=> T ( Ley del tercero excluido)

(p ᴧ ~p ) <=> F (Ley de contradiccion )

~T <=> F
~F <=> T
~ (~P) <=> p Ley de involucion o doble negacion
T= True F= False
a) PRIMEROS PRINCIPIOS
~( p ᴧ ~p ) Principio de no contradiccion
p v ~p Principio de no excluido
p →p principio de identidad

b) LEYES MAS IMPORTANTES BAJO LA FORMA DE IMPLICACION

p => ( q → p) Ley paradojico
(p → ~ p) => ~p 1ra Reduccion al absurdo
(~p ᴧ ~ p) => ~p 2da Reduccion al absurdo
p => (~p → q) Ley del nuevo factor
[(p → q) ᴧ p] => q Modus ponendo ponens
[(p → q) ᴧ ~q] => ~p Modus tollendo tollens
[(p v q) ᴧ ~p] => q Modus tollendo ponens
[(p → q) ᴧ (q → r) => (p → r) silogismo hipotetico
[(p → q)ᴧ(r → s)ᴧ(p v r) =>(q v s) dilema constructivo (silogismo disyuntivo
[(p → q) ᴧ (r → s) ᴧ (~q v ~s)] => (~p v ~r) dilema destructivo
 MODUS TOLLENDO TOLLENS (MTT)
MODUS PONENDO PONENS (MPP)

~q → r (p ᴧ q)
p→q p→q q→r ~r → (p v s)
p ~q (p ᴧ q) → ~s
~q ~r ~(p v s)
q r ~s
~p ~q r

MODUS TOLLENDO PONENS (MTP) LEY DE ADJUNCION O DE CONJUNCION (A o LC.)

pvq q v ~r (p ᴧ s)
p ~r
~p r ~(p ᴧ s) v ~s
q pvq
q q ~s
p ᴧq ~r ᴧ (p v q)
LEY DE SIMPLIFICACION (S)
SILOGISMO HIPOTETICO (SH)

pᴧq pᴧq (p v s) ᴧ (p v r)
p q (p v r) p→q ~r → ~q
q →r (s ᴧ p) → ~r
p→r (s ᴧ p) → ~q
DILEMA CONSTRUCTIVO (DC)
DILEMA DESTRUCTIVO (DD)
LEY DE ADICION (LA)
p→r ~r → p
q → ~s s → (q ᴧ t) ~r v ~s p ~r
p vq s v ~r p→r p v ~q ~r v (t ᴧ s)
r v ~s p v (q ᴧ t) q →s
LEY DE MORGAN (LD) ~p v ~q
LEY DE SIMPLIFICACION DISYUNTIVA (LSD)
~(p ᴧ q) ~(p v q) DOBLE NEGACION (DN)
~p v ~q ~p ᴧ ~q)
p ~(~p)
pvp ~p v ~p (p ᴧ q) v (p ᴧ q)
~p ᴧ ~q ~p v ~q ~(~p) p
p ~p (p ᴧ q)
~(p v ~q) ~(p ᴧ q)
 LEY DEL SILOGISMO DISYUNTIVO (SD) O LEYES CONMUTATIVAS (LC)
DILEMA CONSTRUCTIVO (DC)

pvq pvq pᴧq

p→r qvp qᴧp
q→s
rvs

LEY DE LA BICONDICIONAL (LB) REGLA DE ABSORCION (RA)

p →q p →q
p↔q p ↔q p↔q q→p p → ( p ᴧ q)
p→q q→p (p →q) ᴧ (q → p) p↔q