LÓGICA PROPOSICIONA
L
DEFINICIÓNEstudio de los métodos que aplican definiciones y leyes con el propósito de determinar la validez o invalidez del razonamiento.
CONECTIVOS LÓGICOSPalabras o símbolos que enlazan proposiciones simples, sin formar parte de ellas, sean las proposiciones “p”, “q”, luego los más conocidos son:
SÍMBOLO O CONECTOR
LÓGICOOPERACIÓN
LÓGICO ESQUEMA SIGNIFICADO
Negación p No p Conjunción p q p y q Disyunción p q p o q Condicional p q p entonces q
Bicondicional p q p si y sólo si q
TABLAS DE VERDADCONJUNCIÓN DISYUNCIÓN CONDICIONAL
BICONDICIONAL
TIPOS DE TABLAS DE VERDAD TAUTOLOGÍA
Cuando los valores del operador principal son todos verdaderos se dice que el esquema molecular es TAUTOLÓGICO.
CONTRADICTORIOSi los valores del operador principal son todos falsos. Se dirá que el esquema molecular es CONTRADICTORIO.
CONTINGENCIASi los valores del operador principal tiene por lo menos una verdad y una falsedad se dice que es CONTINGENTE O CONSISTENTE.
EJEMPLO Nº 01Determina el valor de verdad de:a) [(p r) r] pb) (p q) (p q)c) (p q) (p q)
PROBLEMA Nº 01Indica en cada caso si es
Tautológico, Contradictorio o Contingente.a)(p q) v rb)(r p) sc) (r s) (p t)d)(p s) r
PROBLEMA Nº 02Indica en cada caso si es
Tautológico, Contradictorio o Contingente. (p q) ( p q) [(p q) q] q (p q) p [ ( p q) p] q
PROBLEMA Nº 01Indica en cada caso si es Tautológico,
Contradictorio o Contingente.
)()()()(
p)(qq) p(~
pqqprqqpqpq~p
PROBLEMA Nº 02Indica en cada caso si es
Tautológico, Contradictorio o Contingente. [(p q) r] s (r p) (r s) (~p q) (q p) [(p ~q) (q p) r] p