Scribd
Cargar
106 vistas2 páginas

Taller de Tablas de Verdad Lógica

El documento presenta las tablas de verdad de varias proposiciones lógicas realizadas por Karla Freire Santillan. Incluye tablas que muestran proposiciones como contradicciones (p Λ ¬p), tautologías (p V ¬p, [(p → q) Λ p] → q, [(p → q) Λ ¬q] → ¬p), y la equivalencia lógica entre (p Λ (q V r)) y ((p Λ q) V (p Λ r)). Todas las tablas presentadas dem

Cargado por

karla freire
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
106 vistas2 páginas

Taller de Tablas de Verdad Lógica

El documento presenta las tablas de verdad de varias proposiciones lógicas realizadas por Karla Freire Santillan. Incluye tablas que muestran proposiciones como contradicciones (p Λ ¬p), tautologías (p V ¬p, [(p → q) Λ p] → q, [(p → q) Λ ¬q] → ¬p), y la equivalencia lógica entre (p Λ (q V r)) y ((p Λ q) V (p Λ r)). Todas las tablas presentadas dem

Cargado por

karla freire
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

NOMBRE: KARLA FREIRE SANTILLAN

FECHA: BABAHOYO LUNES 27 DE JUNIO DEL 2022


PARALELO: A

TALLER Nº 3 TABLAS DE VERDAD


1. Construye las tablas de verdad de cada una de las proposiciones siguientes:
a) p Λ ¬p

P ¬p p Λ ¬p
V F F
F V F
ES UNA TABLA DE CONTRADICCION

a) p V ¬p

p ¬p
p V ¬p

V F V
F V V

ES UNA TABLA DE TAUTOLOGIA

a) [(p → q) Λ p] → q

P q (p → q) [(p → q) Λ p] [(p → q) Λ p] → q

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

ES UNA TABLA DE TAUTOLOGIA

d) [(p → q) Λ ¬q] → ¬p

P q ¬q ¬p (p → q) [(p → q) Λ ¬q] [(p → q) Λ ¬q] → ¬p

v V F F V F V
v F V F F F V
F V F V V F V
F F V V V V V

ES UNA TABLA DE TAUTOLOGIA


e) p Λ (q V r) ↔ (p Λ q) V (p Λ r)
P q r (q V r) p Λ (q V r) (p Λ q) (p Λ r) (p Λ q) V (p Λ r) p Λ (q V r) ↔ (p Λ q) V (p Λ r)

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

ES UNA TABLA DE TAUTOLOGIA

También podría gustarte