Está en la página 1de 12

LOGICA Y TEORIA DE CONJUNTOS

Algebra-UCSC-2012

LOGICA

Hay tres clases de lenguajes con los cuales nos podemos comunicar, a saber: Lenguaje oral Lenguaje escrito Lenguaje simblico Tanto el lenguaje oral como escrito, sufre muchas veces del defecto que las ideas no se expresan en forma clara y precisa,dando lugar a ambigedades. El lenguaje simblico, que es usado en matemticas, es preciso y no da lugar a interpretaciones. El uso de simbolismos adecuados e inequvocas, nos permitir un razonamiento valido mediante reglas fijadas con anterioridad y claridad. LA LOGICA SIMBOLCA Y TEORIA DE CONJUNTOS nos permitir adquirir ese simbolismo y esquema de razonamiento deductivo. El objetivo principal de la lgica matemtica son las ``PROPOSICIONES``( Juicios y sentencias)

CONTINUACION DE LOGICA

Definicin 1.Proposicin Es una expresin con sentido de lenguaje , que afirma o niega algo y proporciona una informacin. Una proposicin para que tenga sentido inequvoco puede ser VERDADERA o FALSA Ejemplos cinco es mayor que diez ( proposicin falsa) La luna se mueve alrededor de la tierra
En todo triangulo la suma de los ngulos interiores es 180

Cmo te llamas? Que hermosa mujer 5x > 2x (no se conoce el valor de x) no tienen sentido, por lo tanto, no son proposiciones Definicin 2.- Conectivos lgico. Es un smbolo que nos permite obtener nuevas proposiciones a partir de las proposiciones dadas.

Las expresiones

Los conectivos son

no ( negacin) y ( Disyuncin) o ( Conjuncin) si (SI .Entonces) Si y solo si ( Doble implicancia)

continuacin

Las proposiciones pueden ser simples y compuestas, por ejemplo Simples p: 2 es un numero par q : 2 es un numero primo Compuestas: r : 2 es un numero par y primo Por lo tanto, podemos decir que una proposicin compuesta contiene la combinacin de dos o mas proposiciones simples, unidas por uno o mas operadores lgicos o conectivos. PRINCIPIOS FUNDAMENALES DE LA LOGICA

P1.- Una proposicin no puede ser verdadera o falsa al mismo tiempo. P2.- Principio del tercer excluido. Una proposicion puede ser verdadero o falso, nunca un tercero.

conectivos

Una proposicin simple p tiene dos posibilidades

p V F
p V V q V F

Una proposicin compuesta tiene cuatro posibilidades

p q

V V
V V V F V F F V F V F F F F

V
F V F V F V F

V
F

Una proposicin compuesta de 3 proposiciones tiene 8 posibilidades========

Definicion 3.- Se llama Negacin a una proposicin p, a la proposicin no p Es el nico conectivo que acta sobre una sola proposicin. Notacin p Tablas de verdad p -p V F F V

Ejemplo : 2 es un numero par (proposicin) Negacin: 2 no es un numero par Ntese que las afirmaciones 2 es un numero impar o no es verdad que 2 no es un numero par, no corresponden a la proposicin -p

OPERADORES

Operador conjuncin. La conjuncin de las proposiciones p y q se define como la proposicin p y q, se simboliza por p ^ q y se lee p y q Tabla de verdad para la conjuncin. La nueva proposicin es verdadera si y solo si p y q son verdaderas y es falsa si al menos una de llas es falsa Ejemplo.- p las naranjas son ricas en vitamina C. Sea q las naranjas son frutas. La conjuncin p ^ q es la proposicin verdadera.

p^q

V
V F F

V
F V F

V
F F F

OPERADOR DISYUNCION

La disyuncin de las proposiciones p y q se define como la proposicin p o q, se simboliza por p v q y se lee p o q Tabla de verdad para la disyuncin. La nueva proposicin es verdadera si p o q son verdaderas y es falsa si ambas son falsas Ejemplo. p:las naranjas son ricas en vitamina C. Sea q: las naranjas son verduras. La conjuncin p o q es una proposicin verdadera.

p
V V F F

q
V F V F

pvq
V V V F

OPERADOR CONDICIONAL O IMPLICANCIA

La condicionalidad de las proposiciones p y q se define como la proposicin si p entonces q, se simboliza por p ===> q y se lee si p entonces q Tabla de verdad para la implicancia. La nueva proposicin es falsa si p es verdadero falso, el resto es verdadero Ejemplo.- p: a es igual a 5 (falso)
q : a al cubo es 125(falso) p == =>q si a es igual a 5 entonces a al cubo es 125 (V)

p q
V V F F V F V F

P===>q
V F V V

y q es

Ejemplo 2.- p: 2 al cuadrado es igual a 4(V) q: 2 al cubo s igual a 6 (F) p ===>q Si 2 al cuadrado es igual a cuatro entonces 2 al cubo es igual a 6 (F)
De una proposicin condicional p ===>q, las siguientes derivadas reciben el nombre que se indican -p===>-q proposicin contraria q ===>p proposicin reciproca -q===>-p proposicin contra reciproca

OPERADOR BICONDICIONAL

La Bi condicionalidad de las proposiciones p y q se define como la proposicin p si y solo si q, se simboliza por p <===> q y se lee p si y solo si q Tabla de verdad para la bi condicionalidad o doble implicancia. La nueva proposicin es verdadera si ambas proposiciones son verdaderas o ambas falsas Ejemplo.-p .- es un triangulo equiltero (F) q .- todos los ngulos interiores de un triangulo miden 60 (F) p <===>q Es un triangulo equiltero si y solo si los ngulos interiores miden 60

P<===>q

V V F F

V F V F

V F F V

( VERDADERO)

Tautolgicas, contradiccin y contingencia

Tautolgicas.- Una proposicin compuesta que se obtiene mediante operaciones entre varias proposiciones simples, se denomina Tautolgica si su valor de verdad es Verdadero. independiente de los valores asumidos en las proposiciones componentes Contradiccin.- Una proposicin compuesta que se obtiene mediante operaciones entre varias proposiciones simples, se denomina Contradiccin, si su valor de verdad es Falso, independiente de los valores asumidos en las proposiciones componentes Contingencia.- Si no es tautolgica o contradiccin. Ejemplo P(p,q) p===>q, para p: 2 +2 =4 q: 1= 0

TABLA DE VALORES DE VERDAD

La tabla de valores de verdad para la expresin lgica P(p,q) = (p==>q)^-q es

p V V

q V F

P==>q V F

P(p,q) F F

F
F

V
F

F
V

F
V

Sea P(p,q,r)= {(pq)^(qr} (pr)

p V V V V F

q V V F F V

r F F

pq V F

qr V F V V V

Pr V F V F V

(pq) ^ ( qr) V F F F V

P(p,q,r) V V V V V

V V V F

V V

F
F F

V
F F

F
F

V
V

F
V V

V
V V

F
V V

V
V V

V V