Scribd
Cargar
7 vistas8 páginas

Clase 2 Logíca

El documento aborda la lógica proposicional y las fórmulas proposicionales, explicando su clasificación según los valores de verdad. Se introducen conceptos como equivalencia lógica, tautología, contradicción y contingencia, junto con ejemplos de tablas de verdad para cada caso. Además, se presenta un método por pasos para construir tablas de verdad de fórmulas más complejas.

Cargado por

Leo Alvarez
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 PPTX, PDF, TXT o lee en línea desde Scribd
7 vistas8 páginas

Clase 2 Logíca

El documento aborda la lógica proposicional y las fórmulas proposicionales, explicando su clasificación según los valores de verdad. Se introducen conceptos como equivalencia lógica, tautología, contradicción y contingencia, junto con ejemplos de tablas de verdad para cada caso. Además, se presenta un método por pasos para construir tablas de verdad de fórmulas más complejas.

Cargado por

Leo Alvarez
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 PPTX, PDF, TXT o lee en línea desde Scribd

Tablas de verdad- Método

acumulativo
Lógica proposicional
2
Formulas proposicionales
Una formula proposicional es una combinación de proposiciones y conectivos lógicos que simboliza
a una proposición compuesta o molecular.

Ejemplo: p ^ ( q v ~ p) (~ p q)^r p v (~ p q)
Clasificación de las formulas 3

proposicionales
Se puede clasificar una formula proposicional de acuerdo a sus valores de verdad.
Equivalencia lógica:
Decimos que dos proposiciones son equivalentes cuando tienen la misma tabla de verdad (en
todas sus interpretaciones). La equivalencia material es una conectiva lógica que es verdadera si
las dos proposiciones a las que se aplica tiene el mismo valor de verdad y falsa si las
proposiciones tienen valores de verdad diferentes.
4
Tautología
Construir la tabla de verdad para la siguiente formula proposicional:
( q ~ q) v ~ ( p ^ ~ p)
p q ~q ~p q ~q p^~p ~(p^~ ( q ~ q) v ~ ( p ^ ~ p)
p)

V V F F F F V V
V F V F V F V V
F V F V F F V V
F F V V V F V V

Tautología: El valor de verdad de toda la formula proposicional resulta verdadera en todos sus casos
5
Contradicción y falsedad
Construir la tabla de verdad para la siguiente formula proposicional:
(~ p q) (~p^~q)

p q ~p ~q ~p^~q ~p q (~ p q) (~p^~q)

V V F F F V F
V F F V F V F
F V V F F V F
F F V V V F F

Contradicción: una formula proposicional se denomina contradicción cuando sus valores de verdad siempre resultan
falsos.
6
Contingencia
Construir la tabla de verdad para la siguiente formula proposicional:
[(p ~q) ^p] v (~p^q)

p q ~p ~q ~p^ q p ~q (p ~q) ^p [(p ~q) ^p] v (~p^q)

V V F F F F F F
V F F V F V V V
F V V F V V F V
F F V V F V F F

Contingencia: si la formula proposicional no es tautología ni contradicción se denomina contingencia. En el ejemplo


no todo es verdadero ni todo es falso.
7

Tablas de verdad- Método por


pasos
8
Por pasos
Construir la tabla de verdad para la siguiente formula proposicional:
[ (~p ^ q ) ~r ] ( r ^ ~ ( p v ~q) )

p q r [ (~ p ^ q) ~ r ] (r ^ ~ (p v ~ q) )
V V V F V F V V F V F V F F V V F V
V V F F V F V V V F F F F F V V F V
V F V F V F F V F V F V F F V V V F
V F F F V F F V V F F F F F V V V F
F V V V F V V F F V F V V V F F F V
F V F V F V V V V F F F F V F F F V
F F V V F F F V F V F V F F F V V F
F F F V F F F V V F F F F F F V V F
PASOS 2 1 3 1 4 2 1 6 1 5 4 1 3 2 1

También podría gustarte