Infografía - Lógica de proposiciones

Lógica y programación lógica

Lógica de proposiciones

Tautologías

¿Qué son las proposiciones lógicas?

Cuando una proposición compuesta es verdadera, se denomina "tautología". Si es falsa, se dice que es una contradicción.

Son un intento por sistematizar el rezonamiento matemático, surge el concepto de "lógica proposicional". Se trabaja con preposiciones lógicas (verdadero y falso)

+álgebra de proposiciones

+info

+ejemplo

+info

Directo e indirecto

Conectivos lógicos

Los conectores lógicos, también llamados conectores discursivos u oracionales, son palabras, expresiones o locuciones que sirven para enlazar enunciados, oraciones, párrafos o partes de un texto, señalando relaciones semánticas entre ellos.

Sean p, q; dos preposiciones lógicas. El método directo se basa en verificar que pq es verdadera. De forma indirecta se establecen tres formas en la que una proposición es una tautología: Exploración, contradicción y contrarreciproco.

+info

+contrarrecíproco

+contradicción

+exploración