Lógica formal. 2ª parte

TABLAS

DE

VERDAD

Pulsa en el símbolo que encontrarás debajo de este texto para aprender más sobre cómo hacer tablas de verdad.

Si los valores son siempre V tenemos una Tautología, si siempre son F estamos ante una contradicción

Toda proposición puede ser verdadera (V) o falsa (F). Las tablas de verdad son un método para saber si una fórmula molecular (es decir, formada por varias proposiciones) es siempre V, a veces V o nunca V (es decir, siempre F)

TABLAS DE VERDAD

p v q

p & q

¬p

Veamos la disyunción, formalizamos este enunciado "iré a la piscina o me quedaré leyendo en casa" Fijáos en su tabla de verdad:

Ahora tenemos este otro enunciado: " Voy a entrenar y luego voy a cenar" Lo expresamos así: Y su tabla de verdad sería la siguiente:

Imaginemos que tenemos un enunciado como: "No voy a ir a entrenar hoy" Podemos expresarlo en lógica proposicional así: ¿Cuál es su tabla de verdad?

Disyunción

Conjunción

Negación

TABLAS DE VERDAD

pincha AQUÍ para practicar

¿Qué os llama la atención?¿Por qué creéis que es así?

TABLA DEL BICONDICIONAL

TABLADEL CONDICIONAL