Page 5 - Lógica Proposicional

TABLA DE VERDAD
Una tabla de verdad es una representación de los posibles valores de verdad que

podría tomar una o varias proposiciones.

a a b a b c
0 0 0 0 0 0

1 0 1 0 0 1
1 0 0 1 0

1 1 0 1 1

1 0 0
1 0 1

1 1 0

1 1 1

OPERADORES LÓGICOS:

NEGACIÓN
El primer operador lógico es la negación y se representa con el símbolo (┐), y con

las siguientes expresiones gramaticales. “no” “no es verdad” “no es cierto que” “ni”.

NEGACIÓN DE UNA PREPOSICIÓN:

a Tengo un billete de diez dólares

┐a no tengo un billete de diez dólares
b tengo que jugar el viernes

┐b no tengo que jugar el viernes

CONJUNCIÓN

Sean a y b preposiciones la conjunción se la representa con el símbolo (ꓥ) y su valor
de verdad está dado por la siguiente tabla.

a b a ꓥ b

0 0 0
0 1 0

1 0 0

1 1 1

4