Prof.

Santiago Mstiga Izquierdo LGICA PROPOSICIONAL

PROPOSICIN: Es un enunciado que admite la posibilidad de ser verdadero o falsa, pero no
ambas a la vez. Ejemplos: 1.- Per es un pas hermoso. 2.- 24 es mltiplo de 6 3.- La semana tiene 5 das

SIMBOLOGA. Las proposiciones se simboliza con las letras minsculas: p, q, r, s,

Ejemplo: P: Lima es la capital del Per q: Juan Manuel estudia matemtica r: 15 + 12 = 32

TIPOS DE PROPOSICIONES.
A) Proposicin simple o atmica. Consta de una sola proposicin. Ejemplo: La familia Mlaga consta de 3 personas. B) Proposicin compuesta o molecular. Son aquellas que constan de dos o ms proposiciones simples. Ejemplo: Rosario va a la playa y Martha al cine.

CONECTIVOS LGICOS
Son smbolos que unen dos o ms proposiciones simples, para formar una proposicin compuesta. DENOMINACIN SIGNIFICADO CONECTIVO Conjuncin y ^ Disyuncin dbil o v Disyuncin fuerte O Condicional Si .. entonces Bicondicional Si y solo si negacin No ~

OPERACIONES PROPOSICIONALES A) Negacin.

Sea la proposicin p , esta puede ser verdadera o falsa P ~p V F F V

Prof. Santiago Mstiga Izquierdo

B) Conjuncin. La conjuncin es una operacin que ser VERDADERA si las dos proposiciones son verdaderas, en los dems casos ser falso. p q V V V F F V p ^ q V F F

F V F C) Disyuncin dbil o inclusiva. La disyuncin es una operacin que ser FALSA, si las
dos proposiciones son falsas, en los dems casos ser verdadero. p q p v q V V V V F V F V V F F F D) Disyuncin fuerte o exclusiva. La disyuncin fuerte es una operacin que ser VERDADERA, si una de las proposiciones es verdadera, en los dems caso ser falsa. p q p q V V F V F V F V V F F F E) Condicional. La condicional es una operacin que ser FALSA, si el antecedente es verdadero y el consecuente es falso, en los dems casos ser verdadero p q p q V V V V F F F V V F F V F) Bicondicional. La bicondicional es una operacin que ser VERDADERO, si ambas proposiciones son verdaderas o falsas, en los dems casos ser falso p V V F F q p q V V F F V F F V

Prof. Santiago Mstiga Izquierdo

TABLA DE VALORES DE VERDAD
Evaluar el siguiente esquema. (~p ^ q) (~p v q) P q V V V F F V F F

(~p F F V V

^ F F V F

q) V F V F

V V V V

(~p F F V V

v q) V V F F V V V F

EJERCICIOS
1) Si p ^ q es una proposicin verdadera y r v t es una proposicin falsa, escribe el valor de verdad de cada proposicin siguiente, en el parntesis que est a su derecha. a) P ^ q ( ) d) p ~r ( ) g) ~p ^ ~t ( ) b) Q v t ( ) e) ~p v ~q ( ) h) ~t ~q ( ) c) ~p ^q ( ) f) ~r q ( ) i) ~r ^ ~t ( ) 2) Simbolice las proposiciones siguientes: a) En conocimiento no es importante b) La ignorancia no es daina c) El conocimiento es importante o no es importante .. . d) El conocimiento es importante y la ignorancia no es daina . e) Si el conocimiento es importante, entonces la ignorancia es daina f) Si la ignorancia no es daina, entonces el conocimiento no es importante . 3) Dada las proposiciones: p: Carmen estudia los poliedros q: Benito es futbolista Traduzca al lenguaje cotidiano las siguientes expresiones a) p ^q b) ~p ^ ~q c) ~ (~p ^ q) d) P q e) P ~q f) ~p ~q g) ~p v q h) P ~q 4) Evaluar el esquema siguiente. a) (p ^ q) (~ p v q) c) (p q) (q v ~q) b) ~(~p v ~q) (q ^ ~p) d) (p q) ^ [~q (p ~p)]