LÓGICA PROPOSICIONAL

(p  q)  q   p
A) ENUNCIADO: Se denomina así a toda frase u
oración. 12. Disyunción fuerte

B) PROPOSICIÓN: Es un enunciado que tiene la p  q   (p  q)

propiedad de ser verdadera (v) o falsa (f), pero 13. Transitividad
nunca verdadera y falsa a la vez
[(p  q)  (q  r)]  (p  r)
C) TABLA DE VERDAD DE LOS CONECTIVOS
LOGICOS E) CIRCUITOS LOGICOS

p q pq pq pq pq pq En serie: p  q

V V V V F V V
V F F V V F F p q
F V F V V V F
F F F F F V V
En paralelo: p  q
D) LEYES LOGICAS NOTABLES
p
1. L. de Involución: (p)  p q

2. L. de Idempotencia:
ppp F) LOGICA INFERENCIAL
ppp Negación de Proposiciones Categóricas
3. L. de Morgan: TERMINO NEGACIÓN LÓGICA
( p  q )   p  q Todos Algunos… no
( p  q )   p  q Algunos… no Todos
Ninguno Algunos
4. L. asociativas: Algunos Ninguno
p  (q  r)  (p  q)  r
p  (q  r)  (p  q)  r
p  (q  r)  (p  q)  r G) MÉTODO DEL ALGEBRA DE BOOLE

5. L. bicondicionales Forma literal Diagrama de Venn

(p  q)  (p  q)  (q  p) S P
(p  q)  (p  q)  (q  p)
Todo S es P
6. L. Conmutativas

pqqp S P
pqqp Ningún S es P
pqqp

7. L. distributivas S P
p  (q  r)  (p  q)  (p  r) Algún S es P
x
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r) S P
Alguno S no es P
8. L Condicionales x
pqpq
( p  q)  p  q

9. Elemento neutro

pVp
pFp

10. L. de absorción:

p  ( p  q)  p
p  ( p  q)  p  q
p  ( p  q)  p
p  ( p  q)  p  q

11. L. de trasposición