Lgica

Reconoce
y
utiliza
los
conceptos
fundamentales de la lgica proposicional.

Expone leyes, modos

conocimiento cientfico

formas

del

Utiliza mtodos y principios para distinguir

razonamiento correcto del incorrecto.

Utiliza el lenguaje simblico, artificial y

realizando abstraccin de contenidos

Son enunciados que afirman o niegan.

Estudia los enunciados como un todo

y sus relaciones con otros enunciados

Es conocido como lgica binaria

Las proporciones son aquellas expresiones que afirman o niegan algo y de las
que por lo tanto, tiene sentido predicar, poseen un valor veritativo, estos, que
son verdaderas o falsas.
Es el estudio sistemtico de las condiciones generales de validez y de inferencia.

La luna es satlite de la tierra

Los arcnidos son insectos

Scrates nacin en Egipto

Tienen un valor de verdad

No constituye proposicin
Exigiste justicia?
Retrense inmediatamente

No niegan nada ,
No son ni verdaderas ni falsas.

Las proposiciones corresponde a lo que llaman oraciones enunciativas o declarativas y

no a las oraciones interrogativas, exclamativas o imperativas.

Las proporciones pueden

clasificarse de diversas maneras

a.- Las simples o atmica

b.-Las compuestas o moleculares

Las simples, son aquellas que no

contiene ninguna otra proposicin
como parte constituyente

Compuestas, son aquellas tienen

dentro su estructura unas
proposiciones

Conectivos lgicas y su jerarqua

Llueve
Hay seres inteligentes en Marte.
El hombre es un animal poltico.
Llueve y hace fro.
Si viene Juan, entonces Pedro se va.

Constante V ( 1) F (0)
Variables o letras proposicionales p, q, r, s
Smbolos

Lgica proposicional en el lenguaje simblico

El descubrimiento de la lgica, es la deduccin formal que tiene el razonamiento

Si llueve entonces las calles estn mojadas.

No es cierto que, siete ms nueve no es igual a cuatro.

No es cierto que, siete ms nueve no es igual a cuatro.

~ ~

Rosa es abogada y administradora.

Rosa es abogada y administradora.

p
q
p ^ q
3

Hoy no es domingo o maana es viernes.

Hoy no es domingo o maana es viernes.

p V q

Llegue tarde porque me qued dormido.

Llegue tarde porque me qued dormido.

q
p

Viajo a Guatemala si y solo si recibo el viatico.

Viajo a Guatemala si y solo si recibo el viatico.
p
q
p

Vamos al cine o vamos a la discoteca.

Vamos al cine o vamos a la discoteca.

7 El carro es viejo si tiene 10 aos, y es azul si el dueo es Carlos.

p

El carro es viejo.

El carro tiene 10 aos.

El carro es azul.

El dueo del carro es Carlos.

qp

s r

El carro tiene 10 aos entonces es viejo y Carlos es el dueo entonces es azul.

Convertir una preposicin en lenguaje

simblico a una proposicin escrita
8

La puerta es azul.

La puerta es de madera.

La puerta est vieja

p ^ q

Si la puerta es azul y es de madera, entonces esta vieja.

La puerta es azul.

La puerta es de madera.

La puerta est vieja

La puerta es de madera si y solo si est vieja.

La puerta es azul.

La puerta es de madera.

La puerta est vieja

p ^ q

Si la puerta es azul o no est vieja, entonces es azul y es de madera.

Me gusta el jugo de naranja.

No me gusta la carne azada.

S cocinar.

r ~ q

Me gusta el jugo de naranja o, si s cocinar entonces me gusta la carne.

Originalmente, la lgica trataba con argumentos en el lenguaje natural.

Es el siguiente argumento vlido?

Todos los hombres son mortales.

Scrates es hombre.

La lgica debera poder usarse para

demostrar

Por lo tanto, Scrates es mortal.

Pero los argumentos pueden ser ms complejos ...

Creo que todos los hombres son mortales.
Creo que Scrates es hombre.

Por lo tanto, creo que Scrates es mortal.

Es este argumento vlido? Por qu?
Qu significa creo?
Qu pasara si reemplazamos creo que por no se si?