Scribd
Cargar
914 vistas3 páginas

Tabla de Verdad

1. Tablas de verdad que muestran las relaciones lógicas entre proposiciones. 2. Más tablas de verdad examinando equivalencias lógicas. 3. Continúa examinando implicaciones y negaciones lógicas a través de tablas de verdad adicionales.

Cargado por

EstherMauriPaulinoPerez
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 DOCX, PDF, TXT o lee en línea desde Scribd
914 vistas3 páginas

Tabla de Verdad

1. Tablas de verdad que muestran las relaciones lógicas entre proposiciones. 2. Más tablas de verdad examinando equivalencias lógicas. 3. Continúa examinando implicaciones y negaciones lógicas a través de tablas de verdad adicionales.

Cargado por

EstherMauriPaulinoPerez
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 DOCX, PDF, TXT o lee en línea desde Scribd

1.

p→ (p→q)
P q (p→q) p→ (p→q)
V V V V
V F F F
F V V V
F f v V

2. (pvq) ↔ (qvp)
P q (pvq) (qvp) (pvq)↔(qvp)
V V V V V
V F V V V
F V V V V
f F f F V

3. p→ ^ ~(q^r)
p q r (q^r) ~(q^r) p→ ~(q^r)
V V V V F F
V V F F V V
V F V F V V
V F F F V V
F V V V F V
F V F F V V
F F V F V V
F F F F V V
4. (p → (p ^r)) v ((~p) ^ q)
p q r ~p (p^r) (p → (p^r)) ((~p) ^ q) (p → (p ^r)) v ((~p) ^ q)

V V V F V V F V
V V F F F F F F
V F V F F F F F
V F F F F F F F
F V V V V V V V
F V F V F V V V
F F V V F V F V
F f F V F V F V

5. (p→ q)↔ ((~p) v q

p q ~p (p→ q) ((~p) v q) (p→ q)↔ ((~p) v q)

V V F V V V
V F F F F V
F V V V V V
F F V V V V
6. (p^q) → (p^( ~p)) → (q v ((~p))

p q ~p p^q (p^( ~p)) (q v ((~p)) (p^q) → (p^( ~p)) FC

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

1. p→ (p→q) P q (p→q) p→ (p→q) V V V V V F F F F V V V F f v V 2. (pvq) ↔ (qvp) P q (pvq) (qvp) (
4. (p → (p ^r)) v ((~p) ^ q) p q r ~p (p^r) (p → (p^r)) ((~p) ^ q) (p → (p ^r)) v ((~p) ^ q) V V V F V V F V V
6. (p^q) → (p^( ~p)) → (q v ((~p)) p q ~p p^q (p^( ~p)) (q v ((~p)) (p^q) → (p^( ~p)) FC V V F V F F V V V F F F

También podría gustarte