L.P KELYN ESTEBAN

Lógica de Proposiciones

Son todas  aquellas  oraciones que  tienen sentido y están afirmando ya sea algo falso o verdadero, no  será una proposición  si niega algo.

Entre las proposiciones están compuestas y conectivos lógicos

Las proposiciones compuestas son aquellas que están formadas por dos o más proposiciones simples ligadas por un conector

Ejemplo:

Es un rectángulo si y sólo si tienen 4 ángulos rectos

Entre las tablas de verdad se encuentran:

·         Tautologías

·         contradicciones

Conexión entre proposiciones están:

Disyunción: su valor lógico puede ser falso y verdadero, es verdadera cuando el menos una de ellas sea verdadera y es falsa cuando las dos son falsas

Conjunción: es verdadera cuando las dos sean verdaderos y es falsa cuando alguna de las dos afirmaciones sea falsa.

Negación: es darle contradictoria  a cierta oración.

Implicación: será falsa cuando las dos variables sean falsas y verdaderas cuando las dos variables sean verdaderas y será falsa cuando p=v y q=f.

 Doble implicación: Forma gramatical: si y sólo si Símbolo lógico: <=>   Ejemplo: x es un número par si y sólo si x es múltiplo de 2.

p: x es un número par.

q: x es múltiplo de 2.