Scribd
Cargar
240 vistas1 página

Fundamentos de Lógica Proposicional

Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo tablas de verdad, leyes lógicas como la ley de Morgan y la ley de distribución, y diagramas de Venn. También describe los conectivos lógicos como la conjunción, disyunción y condicional, y cómo se pueden usar para representar argumentos lógicos.

Cargado por

esther
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
240 vistas1 página

Fundamentos de Lógica Proposicional

Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo tablas de verdad, leyes lógicas como la ley de Morgan y la ley de distribución, y diagramas de Venn. También describe los conectivos lógicos como la conjunción, disyunción y condicional, y cómo se pueden usar para representar argumentos lógicos.

Cargado por

esther
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

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

También podría gustarte