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