Lógica simbólica
Modulo 1: Objetos de la teoría
Proposiciones y conectores lógicos
Definición 1: una proposición es una afirmación que toma un valor de verdadera o falsa y se
denota con V o F, pero no ambos al mismo tiempo.
Definición 2: un conector lógico es un operador que toma una o dos proposiciones y arroja
como resultado una nueva proposición. Se caracteriza por un símbolo o una palabra que se
utiliza para cambiar una proposición o conectar dos proposiciones.
Tablas de verdad
Disyunción: es verdadera cuando al menos una es verdadera.
P
V
V
F
F
Q
V
F
V
F
P∨Q
V
V
V
F
Conjunción: es verdadera cuando ambas son verdaderas.
P
V
V
F
F
Q
V
F
V
F
P∧Q
V
F
F
F
Implicación: solo en el caso en que la primera sea verdadera y la segunda falsa la
implicación es falsa, en los demás casos es verdadera.
P
V
V
F
F
Q
V
F
V
F
P⟶Q
V
F
V
V
Bicondicional: es verdadera solo cuando ambas proposiciones son iguales.
P
V
V
F
F
Q
V
F
V
F
P⟷Q
V
F
F
V