2. Lógica matemática
La lógica estudia la forma del razonamiento,
es una disciplina que por medio de reglas y
técnicas determina si un argumento es
válido. La lógica es ampliamente aplicada en
la filosofía, matemáticas, computación, física.
En la filosofía para determinar si un
razonamiento es válido o no, ya que una
frase puede tener diferentes interpretaciones,
sin embargo la lógica permite saber el
significado correcto.
3. Conjunción
Es la unión de dos o más
proposiciones mediante el conectivo
lógico “y”, “pero”, “también”, “sin
embargo”, “además”, etc.
Se lee p y q.
REGLA.- Es verdadera la
proposición conjuntiva únicamente
cuando las dos proposiciones son
verdaderas (p y q), en cualquier otro
caso es falsa.
4. Disyunción
Une proposiciones mediante el
conectivo lógico “o”.
Se lee p o q.
REGLA.- Una proposición disyuntiva es
verdadera cuando por lo menos uno de
sus componentes es verdadero. Es
falsa sólo cuando todos sus
componentes son falsos (p o q).
5. Condicional
Viene a ser la combinación de dos
proposiciones con “si… entonces”.
Se lee si p entonces q.
REGLA.- Una proposición condicional es
falsa cuando la primera proposición es
verdadera y la segunda es falsa. Es
verdadera en cualquiera de las otras
formas .
6. Bicondicional
Es la unión de dos proposiciones por “si y
sólo si”. Se lee p si y sólo si q.
REGLA.- Una proposición bicondicional es
verdadera cuando, o sus dos componentes
son verdaderos o sus dos componentes son
falsos.