Conectivos Lógicos

Un conectivo lógico es una operación con dos proposiciones. Una proposición es un conjunto de palabras con un sentido del que se puede decir si es verdadero o falso.

Los grillos tienen pasión por Kant, es una proposición (falsa)

130 es múltiplo de 13, es una proposición (verdadera)

A partir de ellas se puede construir otra proposición con:

a) el conectivo o

Los grillos tienen pasión por Kant, o 130 es múltiplo de 13

que es, por definición, verdadera si lo es alguna de las dos.

b) el conectivo y

Los grillos tienen pasión por Kant, y 130 es múltiplo de 13

que es, por definición, verdadera si lo son ambas.

Hay otros conectivos lógicos.