Scribd
Cargar
394 vistas3 páginas

Taller de Tablas de Verdad en Lógica

Este documento presenta los conceptos básicos de la lógica matemática, incluyendo la conjunción, disyunción, negación e inferencia material. Explica cada operación lógica y provee tablas de verdad como ejemplos. También incluye un ejercicio para construir más tablas de verdad aplicando estos conceptos lógicos.

Cargado por

Angela Cristina Franco Martínez
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
394 vistas3 páginas

Taller de Tablas de Verdad en Lógica

Este documento presenta los conceptos básicos de la lógica matemática, incluyendo la conjunción, disyunción, negación e inferencia material. Explica cada operación lógica y provee tablas de verdad como ejemplos. También incluye un ejercicio para construir más tablas de verdad aplicando estos conceptos lógicos.

Cargado por

Angela Cristina Franco Martínez
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

INSTITUCIÓN EDUCATIVA ELÍAS MEJÍA ÁNGEL

CONJUNCION.
La Conjunción es una Operación Binaria de la Lógica Matemática definida entre
DOS proposiciones y que da como resultado otra proposición que será
VERDADERA si y solo sí las proposiciones operadas son verdaderas
simultáneamente.
p q p  q
V V V
V F F
F V F
F F F

DISYUNCION.
La Disyunción es una Operación Binaria de la Lógica Matemática definida entre
DOS proposiciones y que da como resultado otra proposición que será
VERDADERA si al menos una de las proposiciones operadas es verdadera, en caso
contrario, es FALSA.
p q pq
V V V
V F V
F V V
F F F

NEGACION
La negación de una proposición “p “dada, es otra proposición que será V si la
proposición operada es F y viceversa, es F si la original es V. Esta operación se
representa mediante el símbolo “~ o ¬ “y se lee como “No”
p p

V F

F V
INSTITUCIÓN EDUCATIVA ELÍAS MEJÍA ÁNGEL

Realizar las tablas de verdad:


a) p  q
b) p   q
c). p  q
d). p  q :
e).  p   q

INFERENCIA MATERIAL.
Es la forma más elemental que adopta una Razonamiento en la Lógica Matemática.
Se define entre DOS proposiciones: Una, la primera, llamada Antecedente o
Hipótesis y otra, la segunda, Consecuente o Tesis. Dado que es la conexión entre
DOS proposiciones entonces nos da como resultado otra proposición que será V si
ambas son V o si el Antecedente es F independientemente del Consecuente. Se
representa mediante el símbolo “→ “y se lee: “Si . . .Entonces . . .” así en la inferencia
“p → q” la leemos: Si p entonces q.

p q pq
V V V
V F F
F V V
F F V

Ejercicio: construir tablas de verdad.


a) p  q
b) p  q

c) p  q
d) p  q
INSTITUCIÓN EDUCATIVA ELÍAS MEJÍA ÁNGEL

Tabla de la verdad de la proposición: [(p → q) ∨ (~ q ^


r)] ↔ (r ↓ q)
p q r ~q p→q ~q^r r → q (p → q) ∨ (~ q ^ r) [(p → q) ∨ (~ q ^ r)] ↔ (r → q)

V V V F V F F V F

V V F F V F F V F

V F V V F V F V F

V F F V F F V F F

F V V F V F F V F

F V F F V F F V F

F F V V V V F V F

F F F V V F V V V

También podría gustarte