Scribd
Cargar
16 vistas10 páginas

S2 Clase JN

El documento aborda conceptos fundamentales de lógica proposicional, incluyendo tablas de verdad, equivalencias lógicas e implicaciones lógicas. Se presentan ejemplos de cómo evaluar diferentes proposiciones y sus valores de verdad. Además, se discuten casos de verdad y falsedad en relación a las proposiciones simples.

Cargado por

gmata2112
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
16 vistas10 páginas

S2 Clase JN

El documento aborda conceptos fundamentales de lógica proposicional, incluyendo tablas de verdad, equivalencias lógicas e implicaciones lógicas. Se presentan ejemplos de cómo evaluar diferentes proposiciones y sus valores de verdad. Además, se discuten casos de verdad y falsedad en relación a las proposiciones simples.

Cargado por

gmata2112
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

Unidad I:

Tablas de verdad
Incluyente Excluyente
Valor de verdad

F F

es falsa R≡F

P≡V
Q≡F

[ ( –V v T ) v F ] ^ ( –F → S )
[(FvT)vF]^(V→S)
[(FvT)vF]^(V→S)
Caso 1. Suponer T ≡ V Caso 2. Suponer T ≡ F
[(FvV)vF]^(V→S) [(FvF)vF]^(V→S)
[VvF]^(V→S) [FvF]^(V→S)
V^(V→S) F^(V→S)
F
Caso 1.a. Suponer S ≡ V Caso 1.b. Suponer S ≡ F P≡V
V^(V→V) V^(V→F) Q≡F
V^V P ≡ V V^F P ≡ V R ≡ F
Q≡F Q≡F T≡F
V F
R≡F R≡F
T≡V T≡V
S≡V S≡F
Respuesta
P≡V VERDADERO
Q≡F
R≡F
T≡V
S≡V P≡V
FALSO Q≡F
R≡F
P≡V T≡F
FALSO
Q≡F
R≡F
T≡V
S≡F
Tablas de verdad

p
q 3 proposiciones simples
r Una tabla de

23 = 8 filas
En afirmativo
En orden alfabético ascendente
p q r ¬p p^q ¬(p^q) ¬p^r ¬(¬p^r) ¬(p^q)v¬(¬p^r) p^q r ¬p^q^r (p^q r)^(¬p^q^r) *

¬(p^q)v¬(¬p^r) → (p^q r)^(¬p^q^r) es una Falacia o Contradicción


Equivalencias Lógicas
p q s p^s pv(p^s) p q s pvq pvs (pvq)^ (pvs)
V V V V V V
V V F V V F
V F V V F V
V F F V F F
F V V F V V
F V F F V F
F F V F F V
F F F F F F

No es una equivalencia lógica


Implicaciones Lógicas ⟹

p q s p^s pv(p^s) p q s pvq pvs (pvq)^ (pvs) *


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

⟹ Sí es una implicación lógica


Muchas gracias

También podría gustarte