LGICA

Ing. Fernando Cortez Malca

Fernando.cortez@upnorte.edu.pe

MOTIVACIN
de un enunciado falso se puede deducir cualquier cosa "Quiere usted decir que si 2 + 2 = 5 entonces usted es el Papa" 2 +2 -2=5 -2 2- 1= 3 - 1 BERTRAND RUSSELL
Cambio posicin

2=3 2=1

LGICA
Se usa para establecer una verdad o convencer que nuestras ideas son correctas, haciendo uso del razonamiento y evidencias

Ciencia que estudia el pensamiento humano

LGICA FORMAL
Ciencia que busca hallar esquemas universales validos, sobre los cuales el hombre debe pensar para alcanzar la verdad.

ENUNCIADOS
Frases u oraciones que expresan una idea.

1. DIRECTIVO: expresa ordenes a. Interrogativo: averiguar algo. b. Imperativos o Exhortativos: cumplen una accin.

2. EXPRESIVOS: comunican deseos, sentimientos o actitudes.

a. Exclamativos : expresa emociones. b. Desiderativos: expresan un deseo.

ENUNCIADOS
3. INFORMATIVO: busca afirmar algo. 4. ABIERTO: una incgnita satisface un nico valor de verdad.

5. MITOS LEYENDAS
6. REFRANES 7. IDEAS DE MORAL, JUSTICIA Y BELLEZA 8. SUEOS

PROPOSICIN
Enunciado que afirma algo, susceptible de ser comprobado como verdadero o falso, pero no cumple las dos condiciones a la vez.

Ejemplo:
p: En el planeta Jpiter existen habitantes. q: Mariana es la hermana de Carlos. Variables proposicionales: p,q

NO SON PROPOSICIONES Personajes literarios, Proverbios, refranes, enunciados interrogativos, Las ordenes, las dudas, las suplicas, hechos fantasiosos.

PROPOSICIN SIMPLE O ATMICAS

Oraciones de afirmacin o accin, carecen del adverbio no y conjunciones gramaticales (y, o, si entonces). de

a. PREDICATIVAS
Atribuye un predicado (cualidades o circunstancias) al sujeto. Ejemplo: - Cesar Vallejo fue el creador de la obra Paco Yunque. - Mark Zuckerberg es el fundador de la red social Facebook.

b. RELACIONALES
Expresan una relacin de orden, espacio, parentesco, accin. Ejemplo:
- La Libertad se encuentra entre Lambayeque y Lima. - Carlos es el hermano menor de Vctor.

PROPOSICIN COMPUESTAS O MOLECULARES

Toda proposicin que no es simple (contienen el adverbio no y conjunciones gramaticales). Ejemplo: - No es el caso que los mdicos salven vidas. - Carlos y Vctor son hermanos. - No es verdad que el meteorito destruy Rusia.

Practiquemos!!!

PROPOSICIN
Carlos Fuentes es un escritor famoso. Sen(x) no es un nmero mayor que 1. Carlos es el primo de Paul. Carlos y Pal son primos. Si x > 10, entonces 2x - 3 > 16. 5 es mayor que 3 El tiempo es absoluto o relativo.

TIPO
simple predicativa
compuesta simple relacional compuesta compuesta simple relacional

compuesta

CONECTORES LGICOS
Palabras o expresiones que marcan la relacin entre ideas (proposiciones simples, proposiciones compuestas)
NOMBRE DEL CONECTOR NEGADOR CONJUNTOR DISYUNTOR DEBIL DISYUNTOR FUERTE CONDICIONA O IMPLICADOR REPLICADOR NO Y O OO SI ENTONCES PORQUE SIMBOLO DEL CONECTOR

~, , , , &, X

v, +
v , , , , , ,

BICONDICIONAL
INALTERADOR O DAGA DE SHEFFER INCOMPATIBILIZADOR O BARRA DE NICOLD

S Y SOLO S
NI Y NI NO O NO

,
/

TABLA DE VERDAD
Calculo para el nmero de valores de verdad: 2 22 = 4 p 1 q 1 ~p pq 0 0 1 1 1 0 0 0 Ubicacin de valores de verdad p: 4/2 = 2, mitad valores 1 y la otra mitad 0.

q: 4/4 = 1, cuarta parte 1 y cuarta parte 0.

p v q p v q p q 1 1 1 0 0 1 1 0 1 0 1 1

pq 1 1 0 1

pq 1 0 0 1

pq p/q 0 0 0 1
Donde:

0 1 1 1
1=V 0=F

1
0 0

0
1 0

PRCTICANDO

PRCTICANDO

GRACIAS POR SU ATENCIN