Este documento describe las tablas de verdad de varias operaciones lógicas como la negación, conjunción, disyunción, condicional y bicondicional. Explica que la negación de una proposición verdadera es falsa y viceversa, y que para la conjunción y el condicional ambas proposiciones deben ser verdaderas para que el resultado sea verdadero. También cubre los valores de verdad para la disyunción exclusiva y bicondicional.

1. BravoVélezPedroJ.
Negación (No) (~) (¬) Conjunción (y) (^)
La negación de una proposición verdadera
es falsa. La negación de una proposición
falsa es verdadera.
A B
0 1
1 0
Si los 2 son
Verdaderos, es igual a Verdadero.
A B A ^
B
0 0 0
0 1 0
1 0 0
1 1 1
Disyunción (o) (ν) Disyunción Exclusiva (o) (ν)
Si los 2 son Falsos es igual a Falso
A B A ν B
0 0 0
0 1 1
1 0 1
1 1 1
Si los 2 son iguales es Falso
A B A ν B
0 0 0
0 1 1
1 0 1
1 1 0
Condicional (→) Bicondicional (↔)
A B A→B
0 0 1
0 1 1
1 0 0
1 1 1
Si ambos son iguales es Verdadero
A B A↔B
0 0 1
0 1 0
1 0 0
1 1 1
y
Pero
(, . ;)
SI
NO
entonces
Si A entonces B
A solo si B
B cuando A
Si
SI solo Si
Si solamente
Si

2. BravoVélezPedroJ.
Si la primera proposición es verdadera y la
segunda es falsa es igual a falso.