Lic. M. Jessica Snchez Gastelo msanchezg@usmp.

pe

Es el estudio de los procesos vlidos del razonamiento humano. 1. ENUNCIADO:

Es toda frase u oracin que se emite. Algunos enunciados indican expresiones imperativas, exclamativas, interrogativas; otros en cambio pueden ser verdaderos o falsos.
Ejemplo: Qu hora es? , La matemtica es fcil. Arriba Per! Luis es abogado

2. ENUNCIADO ABIERTO: Son expresiones que contienen variables y que no tienen la propiedad de ser verdaderos o falsos.

Ejemplo:

x 3 8

l tiene 20 aos

3. PROPOSICIN: Es toda expresin que tiene la propiedad de ser verdadera o falsa. Ejemplo: Juan estudia Medicina en la USMP. 4 5 8 Si estudio matemtica, entonces apruebo el examen. Mario Vargas Llosa naci en Arequipa.

3.1 NOTACIN. Generalmente a las proposiciones se les denota por letras minsculas tales como: p, q, r, As : p: Luis estudia ; q : Luis trabaja
3.2 CLASES DE PROPOSICIONES Proposiciones Simples (Atmica o elemental)
Consta de un solo sujeto y predicado.

Proposiciones Compuestas
(Molecular o Coligativa)

Compuesta por dos o ms proposiciones simples

4. CONECTIVOS LGICOS
Son expresiones que enlazan dos o ms proposiciones . Entre estas , se tiene: o; y ; entonces, implica; si y solo si, etc.
DENOMINACIN SIGNIFICADO OPERADOR

Conjuncin
Disyuncin Dbil o Inclusiva Disyuncin Fuerte o Exclusiva Condicional o

o.o Si, , entonces

o por

Bicondiconal
Negacin

Si y solo si
No; no es cierto

La validez de estos conectivos pueden representarse en tablas de verdad. OBSERVACIN: Si tenemos n proposiciones p1, p2 , p3 ,.., pn
habrn 2n combinaciones de valores.

5. OPERACIONES PROPOSICIONALES a) Conjuncin:

p V V q V F

p
V F

En todo prrafo las palabras: pero, sin embargo, aunque , no obstante, a la vez, adems equivalen al conectivo " "

F F

V F

F F

b) DISYUNCION INCLUSIVA
p V V F F q V F V F

p
V V V F

Relaciona dos o ms proposiciones con la palabra O; que se denota por " "

c) DISYUNCIN EXCLUSIVA
p V V F F q V F V F

p q
F V V F

Se lee : p o q pero no ambas.

o es p o es q Ejemplo: O hoy es lunes o hoy es martes
p

d) CONDICIONAL
p q p q

V
V

V
F

V
F

Se lee: : p entonces q o p implica q Tambin se usan los trminos: Por lo tanto, luego, en consecuencia.

F
F

V
F

V
V

Antecedente

Consecuente

Observacin: En un prrafo los trminos: puesto que,

porque, ya que, siempre que, cuando, si, cada vez que, dado que, debido a que; son tambin conectivos condicionales , se caracterizan porque despus de cada uno de estos trminos est el antecedente.

EJEMPLOS: Si ahorro mucho dinero entonces podr comprar un auto.

p: Ahorro mucho dinero q: Podr comprar un auto

16 es mltiplo de 2, puesto que 16 es un nmero par. p: 16 es mltiplo de 2 q: 16 es un nmero par

q p

e) BICONDICIONAL
p V V q V F

p
V F

F
F

V
F

F
V

Se lee: S y slo s. Relaciona dos o ms proposiciones mediante la palabra s y slo si.

EJEMPLO: Londres est en Inglaterra si, y solamente si, Pars est en Francia.

f) NEGACIN
p
V F

~p
F V

Denotado por ~ p, que se lee: no p , o no es cierto que

EVALUACIN DE ESQUEMAS MOLECULARES

TAUTOLOGA

CONTRADICCIN

CONTINGENCIA

Ejemplo
Establece si el esquema molecular dado es una tautologa, contradiccin o contingencia. [( p q) p] q

p V V

q V F

[( p
V F

q)
V F

p]
V V V V

q
V F

F
F

V
F

V
V

F
F

F
F

V
V

V
F

El esquema molecular es una tautologa

PROPOSICIONES MOLECULARES EQUIVALENTES

Dos proposicones moleculares son equivalentes , si los valores de verdad del operador principal de ambos esquemas son iguales. Ejemplo Determine si las proposiciones siguientes son equivalentes P: Si Juan aprob los exmenes de admisin, ingres a la Universidad

Q: No es el caso que Juan apruebe los exmenes de admisin y no ingrese a la Universidad

EJERCICIOS
1. Simboliza las siguientes proposiciones:

a) O Csar va a trabajar en bicicleta o en auto. b) El conocimiento no es importante. c) Las ventas disminuyen, s los artculos aumentan de precio. d) Luis es economista, pero no ejerce su profesin.

e) El perro alla desesperadamente ya que su dueo no est. f) Fernando comprar un automvil si y solo si obtiene un prstamo del banco.

2. Si el esquema (~ p q) (~ s Encuentra el valor de verdad de:

~ (~ p q) [(~ r r)

r)

es falso

s]

p) (r 3. Si el esquema molecular (q es falso, determina el valor de verdad de: (p x) (m y)

p)

4. Si el esquema molecular
~{ [(~ p r) (q ~ s)] (~ r s)}

es verdadero, determina el valor de verdad de:

(p q) (~ r s)

5. Establece si los siguientes esquemas moleculares dados son una tautologa, contradiccin o contingencia. a) [~ p b)
(p

(q p)]
q) r

( p q)
(~ q p)

c)

[( p

q)

(~ q ~ p)]

6. Evaluar si los esquemas moleculares dados son equivalentes

A (p q) (r p) B ~q (~ r ~ p)