PRINCIPIOS DE LOGICA

CARLOS ALFONSO CARABALI CANIZALES

76043550

Universidad Nacional Abierta y a Distancia UNAD

Lgica Matemtica

Puerto Tejada 17 de septiembre de 2013

PRINCIPIOS DE LOGICA

CARLOS ALFONSO CARABALI CANIZALES

76043550
Lgica Matemtica

Ingeniero
JOSE FERNANDO MERA BANGUERO
Tutor

Universidad Nacional Abierta y a Distancia UNAD

Lgica Matemtica

Puerto Tejada 17 de septiembre de 2013

INTRODUCCION

En este trabajo, se basara en dos herramientas de estudio, que son el resumen analtico, con
el que mirara la parte histrica de la lgica y un ensayo en donde se sacara a relucir el
punto de vista y se compartir conocimiento referentes a las proposiciones lgicas simples
y compuestas, y tambin se sobre la construccin de las tablas de verdad.

El objetivo de este informe, es lograr leer, analizar y profundizar el contenido del capitulo 1
del modulo, ya que la fundamentacin de estos conocimientos bsicos iniciales son de vital
importancia para que el estudiante tenga xitos en el desarrollo de aprendizaje de esta
materia a lo largo del curso.

HISTORIA DE LA LOGICA (resumen analtico y sinttico)

LEXICOGRAFIA
Ambiguo, gua. (Del lat. ambigus). adj. Dicho especialmente del lenguaje: Que puede
entenderse de varios modos o admitir distintas interpretaciones y dar, por consiguiente,
motivo a dudas, incertidumbre o confusin.
Vaguedad. f. Cualidad de vago (? que va de una parte a otra sin detenerse en ningn
lugar). || 2. Expresin o frase vaga.
Gramtica. Estudio de reglas y principios que gobiernan el uso de la lengua y
organizacin de palabras y oraciones.
Sistemtico. Que rene reglas y principios.
Codificacin. Transformar un contenido a un cdigo.

SUBRAYADO
En el periodo presocrtico los filsofos pasara de preocuparse por los temas de naturaleza
a preocuparse en el hombre.
Por la necesidad de construir argumentos para defender o refutar los pensamientos de los
dems, Aristteles creo mtodos sistemticos para analizar y evaluar los argumentos, a lo
que se le llamo lgica proposicional. Estable siendo procedimientos para determinar la
verdad o falsedad de las proposiciones compuestas.

El matemtico Gottfried Leibniz en 1946 fue el primero en intentar reformar la lgica

clsica, planteando que la dependencia lgica entre proposiciones es demostrada
reduciendo argumentos complejos en simples. Propuso representar el conocimiento de tal
forma que se le pudiera dar un uso de razonamiento mecnico y lo llamo caracterstica
universal.
En 1847 el matemtico George Boole y Augustus de Morgan hizo notar el parentesco de las
operaciones lgicas con las matemticas.
Beltrn Russell y Alfred Whitehead en 1910 codificaron la lgica simblica en su presente
forma definindola como ciencia de todas las operaciones conceptuales posibles. La
fundacin de la lgica formal se le atribuye a ellos.

PREGUNTAS DE REFLEXION
1. En la actualidad en donde estn concentrados los personajes que siguen estudiando
la lgica como para hacerles reformas?
2. Que smbolos matemticos se utilizan en la lgica y cuales son sus equivalentes?
3. Cuales son los pasos para demostrar que una proposicin es verdadera?
4. Que son operaciones conceptuales?

PROPOSICIONES

Es una expresin lingstica con la propiedad de ser verdadera o falsa pero no ambas cosas
a la vez. Deben estar compuestas por el sujeto, el predicado y el verbo conjugado.
Se representas por letras minsculas como: p,q,r,s,t.

Conectivos lgicos: son aquellos que sirven para unir proposiciones simples entre si, los
conectivos lgicos fundamentales son:

LENGUAJE NATURAL

SIMBOLO

NOMBRE

CONJUNCION

DISYUSCION

NO

NEGACION

Clases de proposiciones:
Proposiciones simples o atmicas: son oraciones que no utilizan conectores lgicos.
Proposiciones compuestas o moleculares: son oraciones que se componen por ms de
dos proposiciones simples unidas por la utilizacin de conectivos lgicos, su valor depende
de los valores que tomen las proposiciones simples que las conforman.
CONECTIVOS LOGICOS

La Conjuncin:
Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada
por p q, se denomina la conjuncin de p y q.
Ejemplo 1:

r s: 8 es nmero par y entero positivo, en donde:

r : 8 es un nmero par.
: y
s : 8 es un entero positivo.
Ejemplo 2: p q: Carlos estudia ingeniera industrial y Erika estudia psicologa.

p:

Carlos estudia ingeniera industrial

q:

Erika estudia psicologa

Tabla de verdad de la conjuncin:

pq

La Disyuncion:

Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v q se llama

disyuncin de p y q.
Ejemplo 1:

Uso del o incluyente

r v s: Juan estudia ingeniera o Paola estudia medicina

r: Juan estudia ingeniera
v: o
s: Paola estudia medicina
Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v q se llama
disyuncin de p y q.
Ejemplo 1:

Uso del o incluyente

r v s: Juan estudia ingeniera o Paola estudia medicina

r : Juan estudia ingeniera
v: o
s: Paola estudia medicina

Tabla de verdad de la disyuncin

p
v
v
f
f

q
v
f
v
f

pq
v
v
v
f

La Negacin
Sea p una proposicin simple. Se define la negacin de p mediante la proposicin
compuesta no p simbolizada por: ~ p o por p
Ejemplo 1: p: 3 es un nmero entero primo.
p: 3 no es un nmero entero primo, tambin se puede leer.
es falso que 3 es un nmero entero primo.

Ejemplo 2: q: El automvil de Francisco es rojo.

~ q: El automvil de Francisco no es rojo ,o, es falso que el automvil de
Francisco es rojo.
Tabla de Verdad de la Negacin
p
v
f

~p
f
v

El Condicional

Si p y q representan dos proposiciones, la expresin si p entonces q se simboliza as:

p q y se lee p implica q.
La proposicin precedida por la expresin

si, se llama antecedente o hiptesis y

la proposicin precedida por la expresin entonces, se llama consecuente o conclusin de

la implicacin. En la expresin p q , el antecedente es p y el consecuente es q.

Las proposiciones condicionales se pueden enunciar en nuestro lenguaje natural de

diferentes maneras, algunas son:

Si p entonces q
p slo si q
q si p
p es suficiente para q
q es necesaria para p

Los siguientes ejemplos ilustran los anteriores enunciados:

Si es conductista entonces reduce toda conducta humana a la relacin
estmulo-respuesta
Si un entero es mltiplo de 4 entonces es divisible por 2
Apruebo el semestre slo si estudio
El algoritmo est bien enunciado si el programa corre
Si dos rectas nunca se cortan necesariamente son paralelas
Tabla de verdad para el condicional

p
v
v
f
f

q
v
f
v
f

p q
v
f
v
v

EL BICONDICIONAL
Se denomina bicondicional a la proposicin formada por dos proposiciones simples
conectadas por la expresin s y slo s.
Simblicamente si p y q son proposiciones simples, la doble implicacin pq constituye
un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro.
El bicondicional est formado por las implicaciones pq
y p q , las cuales deben tener el mismo valor de verdad para formar una equivalencia
entre p y q; en consecuencia, se dice que la proposicin p es equivalente a la proposicin q
y se acostumbra a escribir p q
La proposicin bicondicional tiene varias formas de traduccin ms no de
significacin,
veamos:

p s y slo si q
q s y slo si p
si p entonces q y recprocamente
si q entonces q y recprocamente
p es una condicin necesaria y suficiente para q
q es una condicin necesaria y suficiente para p

Tabla de Verdad para el Bicondicional

p
v
v
f
f

q
v
f
v
f

pq
v
f
f
v

TABLAS DE VERDAD
Una tabla de verdad es una representacin esquemtica de las relaciones entre
proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas, las
cuales dependen de los conectivos utilizados y de los valores de verdad de sus
proposiciones simples.
Resumen de la tabla de verdad para los conectivos logicos
p
v
v
f
f

q
v
f
v
f

~p
f
f
v
v

~q
f
v
f
v

pq
v
f
f
f

pq
v
v
v
f

p q
v
f
v
v

pq
v
f
f
v