1.3.2 Semántica de las conectivas lógicas
|
Las tablas de verdad para las conectivas lógicas son las siguientes.[2] Conjunción 
Como se puede ver, la conjunción es binaria, por necesitar dos proposiciones, y simétrica, pues:
p ˄ q ≡ q ˄ p
Disyunción 
Al igual que la conjunción, la disyunción es binaria y simétrica.
p v q ≡ q v p
Condicional 
La condicional es binaria, pero no simétrica.
Es importante tener claro que en la construcción p→q, 'q' puede ocurrir sin que necesariamente suceda 'p'.
Bicondicional 
La bicondicional es binaria y simétrica.
p ↔ q ≡ q ↔ p
Negación 
La negación es una conectiva unitaria. |