Está en la página 1de 15

LOGICA Y RAZONAMIENTO MATEMATICO

Paulina Gmez
Depto de Matemticas
1.1 CONCEPTO DE LOGICA
En nuestro lenguaje habitual, decimos que algo es lgico si es consecuente y ordenado e
ilgico si no tiene coherencia interna.
LOGICA viene de la palabra LOGIA (del grigo LOGOS) que significa estudio racional, por
tanto, la lcica es la ciencia que estudia los razonamientos y los expresa mediante un
lenguaje, es pues, el estudio de los mtodos que permiten evaluar argumentos o
razonamientos para decidir si la conclusin est sustentada por unos enunciados
(premisas) iniciales.
En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no
valido un argumento dado. El razonamiento lgico se emplea en matemticas para
demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos
los programas; en las ciencias fsica y naturales para sacar conclusiones de
experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud
de problemas.
La lgica matemtica proporciona mtodos para determinar cuando un razonamiento es
vlido. Estudia los principios de los razonamientos correctos, sin embargo no garantiza
que llegemos a conclusiones verdaderas, ya que podemos partir de enunciados falsos.
1.2 ALGO DE HISTORIA
Durante el periodo de 600 AC hasta 300 AC, en Grecia se desarrollaron los principios
formales de las matemticas. A este periodo se le conoce como periodo clsico, donde
sus principales representantes son Platn, Aristteles y Euclides. Platn introduce sus
ideas o abstracciones; Aristteles presenta el razonamiento deductivo y sistematizado y
Euclides es el personaje que mayor influencia tuvo en las matemticos, al establecer el
mtodo axiomtico.
Platn (427-347 AC) intenta instaurar en Siracusa una utpica repblica dirigida por
filsofos, y crea la Academia en Atenas, que no era solo una institucin filosfica, sino
serva de formacin poltica a los jvenes de la aristocracia.). Sostuvo la existencia de
dos mundos distintos (el de las ideas y el de las cosas). Segn Platn, lo concreto se
entiende slo en funcin de lo abstracto, resultando que el mundo sensible debe su
existencia al mundo de las ideas. Platn escogi el dilogo como su forma literaria para
verter su pensamiento; como personaje central de sus Dilogos sita a Scrates, de
quien recibi una notable influencia.
Aristteles. Los tratados de lgica de Aristteles (384-332 a.C.), conocidos como
Organn, contienen el primer tratamiento sistemtico de las leyes de pensamiento en
relacin con la adquisicin de conocimiento. Estos representan el primer intento de
establecer a la lgica como ciencia. Aristteles da una clasificacin de todos los
conceptos o nociones (sustancias, cantidad, relacin, accin, pasin, diferencia,
propiedad y accidente) y trata las reglas del razonamiento silogstico. Aristteles no hace

1 de 15

de la lgica una disciplina metafsica, pero si establece una correspondencia entre el


pensamiento lgico y la estructura ontolgica.
El silogismo fue adoptado por los escolsticos (representantes del sistema teolgicofilosfico, caracterstico de la Edad Media) quienes la enriquecieron con numerosos y
detallados estudios y se esforzaron en formalizarlo. La escolstica, sin embargo, acab
por sobrecargar la teora del silogismo, lo que acarre su descrdito. Los escolsticos
prestaban gran atencin al mtodo, se caracterizaban por el artificio verbal.
En el siglo XVII, Leibniz fue el primero formular la lgica como base del razonamiento
matemtico. La lgica nace como ciencia en el siglo XIX. En 1854 Geoge Boole publico su
libro Leyes del Pensamiento, en el que proporciona un modelo algebraico de la lgica
de proposiciones, a l se le debe el ALGEBRA DE BOOLE utilizada en el diseo de circuitos
lgicos.
En 1879, Gottob Frege publica Fundamentos de aritmtica conceptualmente derivada
en el cual formaliza la lgica de predicados.
En el siglo XX se destacan entre otros, Berttrand Russel, Peano, Hilbert y Godel.
A mediados del siglo XX con la aparicin de ls computadores surgi la necesidad de
determinar si era posible especificar formalmente programas y definir sistemas de
demostracin automtica de teoremas, se habla entonces de la lgica informtica, nace
la inteligencia artificial y el primer lenguaje declarativo: LISP de McCarthy. En 1972
Colmerauer creo el primer lenguaje de programacin lgica, el PROLOG.
Despus de los aos 80 se empiezan a utilizar las lgicas no clsicas, que permiten dar
una interpretacin probabilistica de la incertidumbre, por ejemplo la lgica difusa
(borrosa y fussy)

1.3 CONCEPTOS DE VERDAD Y VALIDEZ


Verdad El concepto de verdad es uno de los ms controvertidos de la Filosofa. En este
contexto, se dice que un enunciado (o una proposicin) es verdadero, cuando hay una
correspondencia entre la realidad y el enunciado. Los enunciados o proposiciones se
definen como oraciones declarativas que pueden ser verdaderas o falsas.

2 de 15

Muchas veces no es problemtico determinar el valor de verdad de un enunciado: si


afirmo "Esta mesa es de madera", lo normal es que cuente con los medios para
establecer su verdad o falsedad. Si afirmo que "Napolen viaj a Egipto en enero de
1800", "Los protones se componen de electrones y neutrones" me encuentro con unas
proposiciones que ha de recurrir a mtodos ms complejos para averiguar su verdad o
falsedad.
Lo que debemos recordar en lo sucesivo es que los enunciados slo son verdaderos o
falsos. Nunca diremos que un argumento es verdadero o falso, sino diremos que es
vlido o invlido.
Validez. La lgica se ocupa principalmente de establecer una clara distincin entre
razonamientos vlidos y razonamientos invlidos. Los razonamientos vlidos son aquellos
en los que la inferencia entre las premisas y la conclusin es perfecta. Por tanto, lo
esencial para determinar si un argumento es o no vlido es analizar su forma o
estructura (independientemente de su contenido material). A continuacin
proporcionamos tres formas equivalentes de establecer este criterio de validez:

Si las premisas de un argumento vlido son verdaderas, entonces su conclusin


tambin es verdadera.

Es imposible que la conclusin de un argumento vlido sea falsa siendo sus


premisas verdaderas.

En un argumento vlido, la verdad de las premisas es incompatible con la falsedad


de la conclusin.

En este contexto tambin consideraremos que las premisas, en tanto que son conjuntos
de proposiciones, son verdaderas slo cuando todas y cada una de ellas sean verdaderas,
y que son falsas cuando al menos una de ellas sea falsa.
Cuando un argumento no es vlido, entonces es invlido; en este caso es posible que la
conclusin sea falsa mientras que las premisas son verdaderas. Incluso puede ocurrir que
en un argumento invlido (la inferencia es incorrecta) las premisas sean verdaderas y la
conclusin sea verdadera o falsa. La validez de la inferencia de un argumento deductivo
es independiente de la verdad de sus premisas, pero que slo podemos garantizar la
verdad de la conclusin haciendo una inferencia vlida a partir de premisas verdaderas.
Solidez. Algunos lgicos afirman que un argumento es slido cuando es a la vez
formalmente vlido y materialmente adecuado (sus premisas y su conclusin son
verdaderas).
1.4 LENGUAJE NATURAL
Para comunicarnos con los demas utilizamos un lenguaje natural, los lenguajes naturales
estn caracterizados por su gramtica que es la que permite decidir si una frase es o n
vlida.
Por ejemplo: El perro de Luis habla ingles
Es una frase vlida, tiene un sujeto del cual decimos algo (predicado) y gramaticalmente
esta bien construida aunque sea falso lo que se afirma.
La SINTAXIS de un lenguaje son las reglas para la formacin de frases correctas ( la

3 de 15

gramtica), no analiza el sentido de la frase sino su construccin desde el punto de vista


gramatical.
La SEMANTICA se ocupa del sentido de las frases sintcticamente vlidas, analiza la
relacin entre el lenguaje y su significado, se refiere a la interpretacin. La frase anterior
es sintcticamente vlida pero le falta sentido semntico.
1.5 LENGUAJE FORMAL
La gramtica de los lenguajes naturales se caracteriza por su flexibilidad y su
complejidad, es muy complicado, podramos decir que imposible hacer una
representacin completa de todas las reglas de un lenguaje natural.
Un lenguaje formal cuenta con unos smbolos, unas reglas y unos operadores que
permiten establecer relaciones entre ellos.
Los lenguajes formales se caracterizan por:

Se desarrollan para una teora preestablecida

Tienen un componente semntico mnimo

La sintaxis produce resultados que no son ambiguos.

Permiten la construccin computacional

1.5 LOGICA CLASICA


El lenguaje formal de la lgica se construye a partir de unos elementos bsicos
(atmicos) llamados proposiciones.
En la lgica aristotlica, una proposicin (o declaracin) es una una oracin declarativa,
que puede ser verdadera o falsa pero no ambas a la vez (ley del tercio excluido). Las
preguntas y las rdenes, por ejemplo, no son afirmaciones. La afirmacin x > 5 es falsa
cuando x es menor o igual que 5, y verdadera de lo contrario. Hay muchas afirmaciones
que no sabemos si son verdaderas o falsas. La lgica se encarga en gran parte de
demostrar la verdad o falsedad de cierto tipo de afirmaciones.

p: Est haciendo sol.

Es una proposicin que puede ser verdadera o


falsa

q: -17 + 38 = 21

Es una proposicin siempre verdadera

r: x > 2y-9

Es valor de verdad de esta proposicin depende


del valor de x

t: Hola como estas?

No es una proposicin, no puede asignarsele un


valor de verdad.

s: 0>100

Es una proposicin siempre falsa

Si una proposicin es verdadera se le asigna un valor de verdad V o 1, si es falsa se le

4 de 15

asigna un valor de verdad F o 0.


Las proposiciones que no contienen operadores lgicos se denominan proposiciones
atmicas (primitivas o primarias) cuando se combinan dos a mas proposiciones
mediante operadores lgicos se construyen proposiciones moleculares o
compuestas.
Segn su valor de verdad decimos que una proposicin es una:
Tautologa:

si siempre es verdadera.

Contradiccin:

es siempre falsa.

Indeterminacin o contingencia:

es una proposicin que puede tomar cualquiera


de los dos valores de verdad. Por ejemplo: Hace
sol.

Equivalencia lgica. Dos proposiciones son lgicamente equivalentes, o simplemente


equivalentes si siempre toman el mismo valor de verdad.
La LGICA DE PROPOSICIONES (LP) estudia las frmulas proposicionales construidas
a partir de las proposiciones y los conectivos lgicos

SIMBOLO

SE LEE

SE LLAMA

NO

Negacin

Conjuncin

Disyuncin inclusiva

O..O

Disyuncin exclusiva

SI ENTONCES

Condicional

SI Y SOLO SI

Bicondicional

La LOGICA DE PREDICADOS (LPO) es una generalizacin de la lgica de proposiciones,


distingue entre los objetos y sus propiedades o posibles relaciones, para ello emplea los
cuantificadores universales y existenciales.
Proposicin Universal Afirmativa

x , p x
Todos los polticos son mentirosos

5 de 15

Proposicin Universal Negativa

x , p x
Ningn poltico es mentiroso

Proposicin Particular Afirmativa

x , px
Algunos polticos son mentirosos

Proposicin Particular Negativa

x , p x
Algunos polticos no son mentirosos

Proposicin

Cuando es Verdadera

Cuando es Falsa

x , px

Al menos para un elemento a del Para cada elemento a del universo la


universo la proposicin p(a) es proposicin p(a) es Falsa, esto es,
verdadera
para todo elemento a del universo la
proposicin p(a) es verdadera
p(a): remplazamos x por a

x , p x

Para cada elemento a del universo Existe al menos un elemento a del


la proposicin p(a) es verdadera
universo, tal que la proposicin p(a)
es Falsa, esto es, para algn
elemento
a
del
universo
la
proposicin p(a) es verdadera

x , p x

Existe al menos un elemento a del Para todo elemento a del universo la


universo, tal que la proposicin proposicin p(a) es verdadera
p(a) es verdadera

x , p x

Para cada elemento a del universo Existe almenos un elemento a del


la proposicoin p(a) es falsa, esto universo tal que p(a) es verdadera
es, para todo elemento a del
universo la proposicin p(a) es
verdadera

1.5.1 RAZONAMIENTOS
Un RAZONAMIENTO o ARGUMENTO es un conjunto de dos o ms proposiciones
relacionadas unas con las otras de tal manera que las proposiciones llamadas 'premisas'
se supone que dan soporte a la proposicin denominada 'conclusin'.
La transicin o movimiento desde las premisas hasta la conclusin, es decir, la conexin
lgica entre las premisas y la conclusin, es la inferencia sobre la que descansa el
argumento.
Por ejemplo:
Todos los mamimeros son racionales

Es un razonamiento vlido aunque


una de sus premisas sea falsa

Los perros son mamferos

6 de 15

Por lo tanto los perros son racionales


Si estudio apruebo la asignatura

Es un razonamiento no vlido, puede


aprobar aunque no haya estudiado

Aprobe la asignatura
por tanto estudie

En un razonamiento tenemos una o varias proposiciones y apoyados en ella (o ellas)


inferimos una conclusin. Entendase que hay razonamiento si la conclusin se apoya en
las premisas, de cualquier otra manera puede haber pensamiento (en sentido general),
reflexin, cavilacin, especulacin, discusin, descripcin, explicacin o lo que se
quiera... pero no hay *razonamiento*.
Un razonamiento es vlido si la conclusin es necesariamente verdadera
siempre que las premisas sean verdaderas
Las palabras antes mencionadas pueden incluir razonamientos (algo que sera de desear,
por ejemplo, en toda discusin) pero no son categoras idnticas. Es obvio que se puede
discutir sin razonar (un modelo de ello podran ser las "tipicas" discusiones pareja).
Cmo se localiza un razonamiento? Cmo decirle a una mquina inteligente, por
ejemplo, que est escuchando o leyendo un razonamiento?.
Existen, como dice Copi, 'indicadores de conclusin':
"Entre los ms comunes (...) se cuentan
"por lo tanto",
"por ende",
"as",
"luego",
"por consiguiente",
"se sigue que",
"podemos inferir" y
"podemos conclur".
Existen dos tipos de razonamientos: Razonamientos deductivos y razonamientos
inductivos.
Un RAZONOMIENTOS DEDUCTIVO es vlido cuando sus premisas ofrecen un
fundamento seguro para la conclusin.
Ejemplos:
1.

Todas las ballenas don mamferos


Todos los mamferos tienes pulmones
Todas las ballenas tienen pulmones

7 de 15

En este caso el razonamiento es vlido y las premisas son verdaderas


2.

Todas las araas tiene seis patas


Todos los seres de seis patas tienen alas
Todas las araas tienen alas.

En este caso el razonamiento es vlido y las premisas son falsas.


3.

Si yo poseyera todo el oro de Fort Knox ser muy rico


No poseo todo el oro de Fort Knox
no soy muy rico

En este caso el razonamiento es invlido y las premisas son verdaderas


Un RAZONAMIENTO INDUCTIVO no pretende que sus premisas ofrezcan una
evidencia total de la verad de la conclusin, sino que ofrezcan cierta evidencia de ella. No
son vlidos o invlidos.
Los argumentos inductivos, por lo tanto, cumplen con su criterio de correccin en un
mayor o menor grado, dependiendo de la cantidad y calidad del apoyo que reciban.
Ningn argumento inductivo es completamente perfecto o enteramente intil, aunque se
puede elegir cul de entre varias inducciones es relativamente mejor o peor que otras en
el sentido de que se asegure la verdad de la conclusin con un mayor o menor grado de
probabilidad. En tales casos, informacin adicional relevante de algn modo relacionada
con el argumento con frecuencia puede afectar a la fiabilidad de un argumento inductivo
al proporcinar otra evidencia que cambie nuestra estimacin de la probabilidad de la
verdad de la conclusin.
Las inferencias inductivas proceden desde lo particular hacia lo general, desde lo menos
general hacia lo ms general, y no tienen un trmino medio que conecte firmemente una
verdad con otra
Inferencias deductivas

Inferencias inductivas

La deduccin descansa en la aceptacin de


un principio general, y razona desde dicho
principio general, a travs de pasos bien
establecidos y firmes, hasta la conclusin.

Las inferencias razonan a partir de


repetidas observaciones particulares (que
con frecuencia son observables, empricas,
captables por nuestros sentidos) hacia
verdades ms generales por medio de
generalizaciones estadsticas y analogas
(que con frecuencia son inobservables).

En los argumentos deductivos la garanta


de que de la verdad de las premisas se
sigue la verdad de la conclusin ocurre
porque en la inferencia deductiva vlida la

La inferencia inductiva vlida slo garantiza


la verdad de la conclusin a partir de la
verdad de las premisas slo en un cierto
grado porque la conclusin aporta ms

8 de 15

conclusin no afirma contenido material


alguno ms all de lo que afirman las
premisas. Con la inferencia deductiva
vlida, en realidad no ampliamos nuestros
conocimientos, sino que los expresamos de
otro modo. Por ello, informacin adicional
sobre las premisas no modificar la calidad
de la deduccin.

informacin de la que est contenida en las


premisas. Este es el motivo de que la
informacin adicional con frecuencia pueda
jugar un papel determinante para juzgar el
grado de validez de una inferencia
inductiva.

Los argumentos deductivos parece que


juegan un papel ms importante en las
disciplinas que tienen un contenido terico
ms prominente, como las matemticas o
la filosofa.

Los argumentos inductivos juegan un papel


ms importante en las disciplinas que
tienen mayor contenido emprico, como la
fsica, la qumica, la biologa, etc.

Una FALACIA es un razonamiento incorrecto, en lgica se llama FALACIA a un


razonamiento incorrecto que parece correcto.
Ejemplos:
1. Si Ardila Lule poseyera todo el oro de Fort Knox ser muy rico
Ardila Lule no posee todo el oro de Fort Knox
Ardila Lule no soy muy rico
2. Sea

a=b
a2 = ab ,

multiplicando por a, se tiene que


restando b2 a cala lado de la igualdad:

a2-b2 = ab-b2

factorizando (diferencia de cuadrados)

(a+b)(a-b) = b(a-b)
a+b = b

dividiendo por (a-b) se tiene que


pero a = b, luego

2b = b

dividiendo por b, se concluye que

2=1
3.

cos2x = 1-sen2x
1+cosx = 1+(1-sen2x)1/2
(1+cosx)2 = (1+(1-sen2x)1/2)2

para x = ,

(1-1)2 = (1+(1-0)1/2)2
0 = (1+1)2
0=4
Halle el error en los razonamientos anteriores.

9 de 15

Un DILEMA es un problema que puede resolverse mediante dos soluciones,

ninguna de

las cuales es completamente aceptable. Ejemplo:


El dilema del prisionero El enunciado clsico del dilema del prisionero es:
La polica arresta a dos sospechosos. No hay pruebas suficientes para condenarlos, y tras
haberlos separado, los visita a cada uno y les ofrece el mismo trato. Si uno confiesa y su
cmplice no, el cmplice ser condenado a la pena total, diez aos, y el primero ser
liberado. Si uno calla y el cmplice confiesa, el primero recibir esa pena y ser el
cmplice quien salga libre. Si ambos permanecen callados, todo lo que podrn hacer ser
encerrarlos durante seis meses por un cargo menor. Si ambos confiesan, ambos sern
condenados a seis aos.
Lo que puede resumirse como:
T lo niegas

T confiesas

l lo niega

Ambos son condenados a 6 meses

l es condenado a 10 aos;
t sales libre

l confiesa

l sale libre; t eres condenado a 10 aos Ambos son condenados a 6


aos.

Vamos a suponer que ambos prisioneros son completamente egostas y su nica meta es
reducir su propia estancia en la crcel. Como prisioneros tienen dos opciones: cooperar
con su cmplice y permanecer callado, o traicionar a su cmplice y confesar.
El resultado de cada eleccin depende de la eleccin del cmplice. Desafortunadamente,
uno no conoce qu ha elegido hacer el otro. Incluso si pudiesen hablar entre s, no
podran estar seguros de confiar mutuamente.
Hay varios tipos de dilemas, los mas comunes son:
DILEMA SIMPLE CONSTRUCTIVO: Consta de dos premisas condicionales con el mismo
concecuente y una disyuncin de los dos antecedentes

Si estos libros dicen lo mismo que el Corn hay que quemarlos (estn de mas)

Si dicen algo distinto, hay que quemarlos, porque contradicen el Corn.

Estos libros hay que quemarlos


DILEMA SIMPLE DESTRUCTIVO. Consta de dos premisas condicionales y una
disyuncin que niega los dos consecuentes.

Si estudio me va bien en la universidad

Si estudio mis padres sern felices

No me va bien en la universidad o mis padre no son felices

por tanto no estudio


PARADOJA: Una paradoja es una declaracin en apariencia verdadera que conlleva a

10 de 15

una auto-contradiccin lgica o a una situacin que contradice el sentido comn. En


palabras simples, una paradoja es lo opuesto a lo que uno considera cierto.
Una paradoja clsica es aquella que nos cuenta Cervantes en el Don Quijote: Merced a su
ingenio sencillo de campesino, Sancho Panza divirti al Duque y a la Duquesa que lo
pusieron a cargo del gobierno de la nsula de Barataria. Sancho dej admirados a los
circunstantes por sus juicios y sentencias. Se extendi fuera de la isla su fama, y ella
trajo un forastero con el fin de plantearle una cuestin al Gobernador.
El texto de Cervantes es: Seor, un caudaloso ro divida dos trminos de un mismo
seoro...Y est vuesa merced atento porque el caso es de importancia y algo dificultoso.
Digo, pues, que sobre este ro estaba una puente, y al cabo de ella, una horca y una
como casa de audiencia, en lo cual de ordinario haba cuatro jueces que juzgaban la ley
que puso el dueo del ro , de la puente y del seoro, que era en esta forma Si alguno
pasara por esta puente de una parte a otra, ha de jurar primero adonde y a que va; y si
jurare la verdad, djenle pasar; y si dijere mentira , muera, por ello ahorcado en la horca
que all se muestra, sin remisin alguna. Sabida esta ley y la rigurosa condicin della
pasaban muchos, y luego en lo que juraban se echaba de ver que decan la verdad, y los
jueces los dejaban pasar libremente. Sucedi, ,pues que tomando juramento a un
hombre , jur y dijo que para el juramento que haca, que iba a morir en aquella horca
que all estaba, y no a otra cosa. Repararon los jueces en el juramento, y dijeron Si a
este hombre lo dejamos pasar libremente, minti en su juramento, y conforme a la ley
debe morir; y si lo ahorcamos, l jur que iba a morir en aquella horca, y habiendo
jurado la verdad, por la misma ley debe ser libre.
Pdase a vuesa merced, seor gobernador, que harn los jueces de tal hombre; que an
hasta agora estn dudosos y suspensos. Y habiendo tenido noticia del agudo y elevado
entendimiento de vuesa merced, me enviaron a mi a que suplicase a vuesa merced de su
parte diese su parecer en tan intrincado y dudoso caso.
La paradoja se puede resumir en el siguiente diagrama

Otro ejemplo de paradoja es el siguiente:


Una tribu de indios sacrifica a todos los exploradores que entran en su territorio. Tienen

11 de 15

2 altares, uno llamado de la Verdad y otro de la Mentira donde se realizan los sacrificios
de acuerdo a una respuesta de la vctima fuera verdadera o falsa. Como es la decisin
ante el siguiente caso?
Pregunta: Donde te vamos a matar?
Respuesta: En el altar de la Mentira
Opciones: 1.- Si la respuesta fuera verdadera el sacrificio debera cumplirse en el altar
de la Verdad.
2.- Si la respuesta fuera el sacrificio debera cumplirse en el altar de la Mentira.
En ambos casos cualquier la decisin sera contradictoria.
LOGICA PROPOSICIONAL
Se habla de dos tipos de enuciados o proposiciones:
Atmicas: Constan de una sola proposicin, no se pueden descomponer ms. Por
ejemplo: El gato sonri la ver al ratn.
Moleculares: Compuestas por dos o ms proposiciones, consta de varios enunciados
atmicos, se pueden descomponer. Ejemplo: El gato sonri al ver al ratn y el ratn
huy.
Para simbilizar las proposiciones generalmente se utilizan las letras minsculas a partir
de la p, como son la p, q, r, s, etc.
CONECTIVOS LOGICOS
Son trminos que conectan los enunciados atmicos, formando as los enunciados
moleculares
LA CONJUNCIN (

pq )

pq

pq es verdadera si y solo si las dos


La conjuncin
proposiciones son verdaderas.
Basta con que una de las proposiciones sea falsa para
que la conjuncin sea falsa.

LA DISYUNCIN ( pq )
p

pq

La disyuncin

La disyuncin pq es verdadera si y solo si al menos


una de las dos proposiciones es verdadera.
Es falsa nicamente cuando las dos proposiciones son
falsas.

pq se utiliza en el sentido inclusivo, La o exclusiva ( p q o

12 de 15

pq )

es verdadera s exactamente una de las es verdadera, es decir, es falsa si las dos


proposiciones son verdaderas o las dos son falsas.
LA NEGACIN
p

La negacin p es verdadera si p es falsa y falsa si p es verdadera.


En lenguaje natural la expresamos como: No es el caso que po
tambin es falso que p.
Para denotar p se utilizan tambien los smbolos p', ~p, p

CONDICIONAL
Si p y q son proposiciones, la proposicin compuesta si p entonces q es una proposicin
condicional, que se nota p q , se define pq .
p

p q

Es decir, la HIPTESIS expresa una CONDICIN


SUFICIENTE para la conclusin. La CONCLUSIN
expresa una CONDICIN NECESARIA para la hiptesis.

p es la hiptesis ( o antecedente) y q es la conclusin ( o consecuente).


pq

p es una condicin suficiente para q


q es una condicin necesaria para p.

La proposicin p q puede ser verdadera aunque la proposicin q p


proposicin q p es la recproca de p q .

sea falsa, la

La proposicin p q es la proposicin contraria de p q


La proposicin q p

es la contrarrecproca de p q, adems p q p q

Si la proposicin p q es una tautologa (siempre verdadera) decimos que p implica q y


se denota p q
BICONDICIONAL.
La proposicin bicondicional, se nota por p q , se define p q (p q) (q p)
p

pq

qp

(p q) (q p)

Si la proposicin es una tautologa se dice que p y q son proposiciones equivalentes y se


denota por p q.

13 de 15

ORDEN DE PRIORIDAD DE LOS CONECTIVOS LOGICOS


Se utilizan los parntisis para indicar el orden en que se aplican los operadores logicos en
una proposicin compuesta, para evitar el uso excesivo se definen las prioridades de la
siguiente manera:
i) La negacin tiene prioridad sobre los demas opredores. pq significa (p) q nunca
se entendera como (p q)
ii) El operador conjuncin tiene prioridad sobre la disyuncin, p q r significa (p q)r.
iii) Los operadores condicionales son los de menor prioridad, y entre ellos el condicional
() tiene prioridad sobre el bocondicional ()
ALGUNAS EQUIVALENCIAS LOGICAS
Disyuncin

p q ( p q)

Conjuncin

p q ( p q)

Condicional

p q p q

Bicondicional

p q ((p q) (q p))

Disyuncin exclusiva

p q ( p q ).

Axiomas y reglas de transformacin.

(pp)p
q(pq)
(pq)(qp)
(pq)[(rp)(rq)]

LEYES DE LA LGICA DE PROPOSICIONES


1) Ley de identidad

pp
p p.

2) Ley de la doble negacin

p p.

3) Ley del tercio excluido

p p

(siempre es 1).

4) Ley de contradiccin

(p p) p p

(siempre es 0).

5) Leyes de Morgan

(p q) (p q)
(p q) (p q).

6) Ley de reduccin al absurdo

[p (q q)] p.

7) Ley Contrapositiva

p q q p.

14 de 15

8) Leyes de conmutacin

(p q) (q p) ; (p q) (q p)
(p q ) (q p)

9) Leyes de asociacin

[(p q)r][p (q r)]


[(pq)r][p(qr)]
[(pq )r][p(qr)]

10) Leyes de transposicin

(p q) (q p)
(p q) (q p)

11) Leyes distributivas

[p ( q r)][(p q) (p r)]
[p ( q r)][(p q) (p r)] ;
[p ( q r) ] [ (p q) (p r) ]
[ p ( q r) ] [ (p q) (p r) ]

12) Ley de permutacin

[p(qr)][q (p r)]

13)Ley del silogismo

( p q ) [ ( q r ) ( p r ) ] ???

14) Silogismo hipottico o

[(pq)(qr)] (pr)

Transitividad

[(p q)(q r)] (p r)

15) Leyes de inferencia de la alternativa

[ p ( p q ) ] q

o de los silogismos disyuntivos

[ p ( p q ) ] q

16) Ley del dilema constructivo

[(pq)(pr)(q r)]q

17) Segunda ley del dilema constructivo

[((pq)(rs))(pr)](qs)

18) Ley del dilema destructivo

[(p q ) ( r p ) ( s q ) ] ( r s )

19) Ley de exportacin

[(pq) r][p (q r)]

20) Ley de resolucin

[ ( p q ) ( p r ) ] ( q r )

21) Ley del bicondicional

(pq)[(pq)(qp)]

22) Condicional-disyuncin

( p q ) ( p q )

23) Condicional-conjuncin

( p q ) ( p q )

24) Leyes de simplificacin

(pq)p;p(pq)

25) Leyes de expansin

(pq)[p(pq)]
(pq)[q(pq)]

26) Modus ponendo ponens

[(pq)p]q

27) Modus tollendo tollens

[ ( p q ) q ] p

15 de 15