You are on page 1of 8

ORIGEN Y ESENCIA DE LA LGICA

E2 * EXPERIENCIAS Y REFLEXIONES
CUARTO MEDIO

Nombre:___________________________________________________Fecha: ____________ Curso: 4 _____

OBJETIVO(S) DE APRENDIZAJE HABILIDADES EVALUADAS


Conocen los orgenes y esencia de la lgica. Conocen
Conocen el lenguaje lgico y lo aplican en ejercicios. Comprenden
Analizan
Aplican

EL LENGUAJE DE LA LGICA

Consideraciones Generales
La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas
determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas,
computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase
puede tener diferentes interpretaciones, sin embargo, la lgica permite saber el significado correcto. En
las matemticas para demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en
investigaciones. En la computacin para revisar programas. En general la lgica se aplica en la tarea
diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por ejemplo: para ir de
compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita
realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico,
ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes
no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o
derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la
aplicacin de la lgica.

La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha
enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos
acumulados, se pueden obtener nuevos inventos a los ya existentes o simplemente utilizacin de los
mismos.

Por lo tanto, la lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel
elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido 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 fsicas y naturales, para
sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una
multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar
cualquier actividad.

LGICA TRADICIONAL Y LGICA SIMBLICA


Aristteles, que es considerado el pionero en el estudio de la Lgica y su creador en su forma clsica, la
consideraba como el arte de la argumentacin correcta y verdadera. A los libros que trataban los temas
de lgica los titul "Organon", que significa "instrumento". Estos se centran en el estudio del silogismo,
un conjunto de tres presupuestos o juicios que tienen entre s la siguiente relacin: el tercero se deriva -
se deduce o concluye- de los dos primeros. A los dos primeros les llamamos "premisas" y al ltimo le
llamamos "conclusin". Un ejemplo clsico de silogismo es: "Todos los hombres son mortales; Scrates
es un hombre; por lo tanto, Scrates es mortal".

Siguiendo la definicin clsica de lgica, podemos decir que se trata de "la ciencia o el estudio que trata
sobre los razonamientos correctos". Durante muchos siglos se desarroll tambin un importante
desarrollo sobre los razonamientos incorrectos o falacias, emitidos muchas veces con el nimo de
confundir el razonamiento o el debate con otros interlocutores.

Hoy en da, y gracias a los trabajos de un gran nmero de matemticos y filsofos, entre los que podemos
destacar a George Boole (1815-1864), G. Peano (1858-1932), George Cantor (1845-1918), Gottlob Frege
(1848-1925) y Bertrand Russell (1872-1970), se ha desarrollado la lgica simblica o lgica formal, que
se caracteriza por el uso de un lenguaje formal, simblico, como el que se usa en las matemticas, as
como unas reglas estrictas de transformacin entre distintas proposiciones.

Por lo tanto, las relaciones entre la lgica simblica y la tradicional divide a los autores en diversas
posturas, desde considerar que la nica lgica verdadera es la tradicional, y que la simblica no es ms
que un mero rebuscamiento, hasta pensar que las enseanzas de la lgica tradicional son falsas. Lo ms
sensato sera considerar que la relacin que hay que establecer no es la de oposicin, sino la de evolucin.

1
LENGUAJE NATURAL, LENGUAJE ARTIFICIAL Y LENGUAJE FORMAL
Los lenguajes naturales, es decir, las distintas lenguas que habitualmente utilizan los miembros de
distintas comunidades humanas para comunicarse, poseen, como todo lenguaje, un conjunto de smbolos
(lxico) y una serie de reglas para manejarlos (sintaxis) y operar con ellos (formacin, concatenacin y
transformacin de oraciones). Todos los lenguajes naturales son el producto de muchos siglos de
evolucin y son tan infinitamente ricos en matices que los mismos smbolos o expresiones pueden
significar cosas diferentes en funcin factores tales como el contexto, la entonacin, la situacin, etc. Estas
ambigedades, dobles sentidos, vaguedades, relajacin en el uso de las reglas nos permiten construir
paradojas, chistes, metforas, poemas, etc.

Los lenguajes naturales poseen, sin duda, una gran riqueza y capacidad
expresiva que resulta deseable, pero en determinados momentos es
preferible un lenguaje menos ambiguo y, por tanto, ms preciso y
operativo. Para el uso cientfico, por ejemplo, los lenguajes naturales
presentan ciertas deficiencias: desde el punto de vista del lxico, falta de
univocidad; desde el punto de vista de la sintaxis, relajacin en las reglas;
y desde el punto de vista operacional, dificultad para realizar cualquier
clculo.

Por este motivo, las distintas ciencias construyen lenguajes artificiales,


asignando a sus smbolos significados precisos y unvocos, y
estableciendo con precisin reglas operativas eficaces que permitan construir razonamientos fiables. Se
trata de ganar en exactitud y seguridad a costa de perder en expresividad. La Fsica y la Qumica, por
ejemplo, usan este tipo de lenguaje deforma que una expresin tan metafrica como el tiempo es oro,
al traducirla a tal lenguaje t = Au pierde todo su sentido. Por eso, tales lenguajes slo se emplean en
campos muy restringidos.

Incluso puede haber ocasiones en las que el significado de los smbolos no nos interese, sino ms bien las
relaciones que podamos establecer entre dichos smbolos, como por ejemplo ocurre en las Matemticas
y la Lgica. Decimos entonces que estamos ante un lenguaje formal, porque slo interesa la forma, no el
contenido o significado emprico de sus smbolos. Lo nico que cuenta es que la utilizacin de los
smbolos, las frmulas y las operaciones se ajuste a las reglas establecidas.

LAS PROPOSICIONES Y LA LGICA PROPOSICIONAL

Todos los lenguajes estn construidos a partir de combinaciones de signos que reciben el nombre de
expresiones. Pero no cualquier combinacin es vlida, sino que dicha combinacin debe realizarse de
acuerdo con una serie de reglas gramaticales (morfolgicas, sintcticas, etc.). Cuando una expresin del
lenguaje natural es gramaticalmente correcta y tiene un sentido completo recibe el nombre de oracin.

Hay muchos tipos de oraciones en los lenguajes naturales: enunciativas, desiderativas, de posibilidad,
dubitativas, exhortativas, interrogativas, exclamativas, etc.
Aqu nos interesan las oraciones enunciativas, tambin llamadas enunciados o proposiciones, que son
aquellas oraciones que tienen un sentido completo y pueden ser calificadas como verdaderas o falsas. La
Lgica proposicional (denominada tambin Lgica de enunciados) se ocupa de las proposiciones.
Tanto lgica como gramaticalmente, las oraciones pueden ser sometidas a anlisis.
Tomemos, por ejemplo, la proposicin Las moscas son insectos. Gramaticalmente, podemos analizar
esta oracin comenzando por distinguir un sujeto y un predicado. Lgicamente, podemos analizarla
sealando que en ella se establece una relacin entre dos clases o conjuntos, en cuyo caso la
interpretaremos como afirmacin de que los miembros de la clase de las moscas son tambin miembros
de la clase de los insectos: as se hace en la Lgica de clases.

Pero en la Lgica proposicional las proposiciones no se analizan, sino que se toman como un todo,
en bloque. Las proposiciones son los elementos ltimos sobre los cuales opera esta rama de la Lgica.
Las proposiciones Las moscas son insectos y La Tierra es un planeta son proposiciones simples.
En cambio, Las moscas son insectos y la Tierra es un planeta y Si las moscas son insectos, entonces la
Tierra es un planeta son proposiciones complejas.

Una proposicin simple es aquella que no puede descomponerse en partes que, a su vez, sean
proposiciones. Las proposiciones simples se denominan tambin atmicas. Una proposicin compleja
tambin denominada molecular es aquella que puede descomponerse en proposiciones simples. Las
proposiciones complejas se componen, pues, a partir de proposiciones simples por medio de partculas
como y, si entonces, etc., que sirven para conectar o unir proposiciones entre s.

En definitiva, la Lgica proposicional es aquella parte de la lgica que se ocupa de los razonamientos
tomando las proposiciones que los componen como un todo, sin analizarlas, sin entrar en sus relaciones
internas.

2
EL RAZONAMIENTO: VERDAD Y VALIDEZ
Un razonamiento es una serie de enunciados en la cual, a partir de unos enunciados iniciales (premisas)
y siguiendo unas reglas determinadas, se infiere una conclusin.

Por ejemplo:
En el mes de enero cada da anochece un poco ms tarde.
Estamos en el mes de enero.
__________________
Por lo tanto, maana anochecer un poco ms tarde que hoy.

As pues, razonamiento es un proceso mental que se caracteriza porque en l se produce el paso de uno
o ms enunciados (las denominadas premisas) a otro posterior (lo que denominamos conclusin) que se
deriva necesariamente de aquellos.

Denominamos premisas de nuestro razonamiento a cada uno de los enunciados que utilizamos para
defender la idea o enunciado que queremos demostrar.
Denominamos la conclusin de nuestro razonamiento al enunciado que intentamos demostrar o
defender y para el que hemos construido nuestro razonamiento.
Se dice que el razonamiento es vlido si la conclusin se deduce necesariamente de las premisas. En ese
caso, si las premisas son verdaderas, entonces la conclusin tambin ser necesariamente verdadera. Un
razonamiento, por tanto, es o no vlido en virtud de su forma o estructura, no en virtud de la verdad o
falsedad de las premisas. Los enunciados pueden ser verdaderos o falsos, pero los razonamientos slo
pueden ser vlidos o no vlidos, correctos o incorrectos.

Veamos tal diferencia con un ejemplo. Partamos de dos razonamientos simples:

R 1:
P1: Si tienes la gripe entonces tienes fiebre.
A B
P2: No tienes fiebre.
B
C: Por lo tanto, no tienes la gripe.
A

R 2:
P1: Si crece la inversin entonces disminuye el paro.
A B
P2: No disminuye el paro.
B
C: Por lo tanto, no crece la inversin.
A

Observamos que:
Tienen distinto contenido: R1 : medicina.
R2 : economa.

Tienen la misma forma:


P1: Si A entonces B.
P2: No B.
C: Por lo tanto, no A.

Sustituimos las proposiciones por letras maysculas.


Por lo tanto, en los razonamientos hay que distinguir entre:

Forma: es la estructura lgica del razonamiento: el cmo se hayan relacionadas entre s las
proposiciones en las premisas y la conclusin: qu relaciones lgicas existen entre ellas.

Contenido: es lo expresado por las premisas y la conclusin, el conjunto de afirmaciones que


stas realizan del mundo, el conjunto de sucesos que stas describen.

El objetivo de la lgica es decir qu tipo de razonamientos son correctos, y esto se define exclusivamente
en virtud de su estructura formal. La lgica prescinde del contenido pues slo analiza la correccin formal
de los razonamientos. No corresponde a la Lgica determinar la verdad o falsedad de los enunciados, de
ello se ocupan los cientficos o quienes los propongan (depender del mbito al que pertenezca el
razonamiento).
Tampoco le importa si son verdaderos o falsos. Que, de hecho, las premisas sean verdaderas o falsas no
afecta a la validez del argumento, a su correccin formal.

3
RAZONAMIENTO VLIDO RAZONAMIENTO NO VLIDO RAZONAMIENTO VLIDO
P1: Todos los perros son P1: Todos los primates son P1: Todos los perros son
mamferos. mamferos. reptiles.
P2: Todos los caniches son P2: Todos los gatos son P2: Todos los gatos son perros.
perros. mamferos. C: Todos los gatos son reptiles.
C: Todos los caniches son C: Todos los gatos son primates.
mamferos.

EL LENGUAJE LGICO

El inters de la lgica es el anlisis de los razonamientos en el mbito formal. Los razonamientos se hacen
en el lenguaje cotidiano, tambin denominado lenguaje ordinario o natural Puesto que el lenguaje
natural est cargado de ambigedades e imprecisiones resulta difcil de analizar lgicamente.
La lgica necesita extraer del lenguaje natural su estructura formal, reduciendo su variedad a unas
cuantas expresiones lgico - formales. Para hacer esto con precisin la lgica necesita crear un lenguaje
artificial, con sus propias reglas de construccin, que sea el reflejo de la estructura formal del
razonamiento.
Todo lenguaje artificial (por ejemplo: las seales de trfico, los iconos del ordenador, etc.) est construido
y pensado como medio para lograr un fin determinado. En el caso del lenguaje formal, su fin es destacar
en los razonamientos su estructura formal.

EL LENGUAJE FORMAL DE LA LGICA PROPOSICIONAL


Describimos aqu:

Los elementos que componen este lenguaje, y, a la vez, damos Las reglas de simbolizacin que nos
permitirn pasar de las expresiones del lenguaje natural a las del lenguaje formal (formalizar).

A) VOCABULARIO.
Est constituido por las variables proposicionales que simbolizan o representan las proposiciones del
lenguaje natural. Se denominan variables porque representan cualquier proposicin del lenguaje
natural.

REGLA DE SIMBOLIZACIN I
Cada uno de los enunciados simples del lenguaje natural se sustituir por variables proposicionales
simbolizadas mediante las letras minsculas: p, q, r, s, t, u, v, w. Si hubiera ms se pondrn subndices.
Ejemplos:
"ste fue un verano caluroso": p
"La fidelidad es una quimera": q
"Al final de los tiempos resucitarn los cuerpos": r
"Tengo sueo": s

B) SMBOLOS DE ENLACE
Estn constituidos por las constantes lgicas (se denominan tambin conectivas o juntores) que
representan las relaciones lgicas existentes entre las proposiciones. Simbolizan los elementos del
lenguaje natural que ponen en relacin las diferentes proposiciones. Hay cinco tipos bsicos de relacin
lgica entre proposiciones:

1) La negacin.
Significa la negacin de la proposicin que ponemos a su derecha.

REGLA DE SIMBOLIZACIN II
Las expresiones del lenguaje natural tales como "no", "no es cierto", "no es el caso que", "es falso", "es
imposible", etc. se sustituirn por el smbolo "".

Ejemplos:
"No vendr a cenar esta noche p": p
"Es imposible que pueda olvidar lo sucedido q": q
"No es cierto que no se lo dijera r": r

2) La conjuncin.
Significa que ambas proposiciones suceden de forma conjunta

REGLA DE SIMBOLIZACIN III


Las expresiones del lenguaje natural tales como "y", "ni", "pero", " que", "e", "mas", una simple coma ",",
etc. se sustituirn por el smbolo "".

4
Ejemplos:
"Viene cansado p y deprimido q: p q
" Ana quiere a Lus p pero no es tonta q": p q
"No es cierto que sea viuda p y no tenga hecha la ciruga q ": (p q)

3) La disyuncin.
Significa que sucede una proposicin, sucede la otra, o suceden ambas. Es lo que se denomina
disyuncin inclusiva, frente a la disyuncin exclusiva, que usualmente utilizamos en el lenguaje
natural y que significa que sucede una u otra, pero no ambas a la vez.

REGLA DE SIMBOLIZACIN IV
Las expresiones del lenguaje natural tales como "o", "oo", "bienbien", "yaya", etc. se sustituirn
por el smbolo "v".

Ejemplos:
"O vamos al cine p o nos aburrimos soberanamente q ": p v q
"Es imposible que pueda volver p o olvidar lo sucedido q": (p v q)
"O no es cierto que le gusten los nios p o tiene muy mala leche q ": p v q

4) El Condicional.
Significa que si se da la primera (a la izquierda de la flecha) entonces se dar la segunda (a la derecha
de la flecha). Es una relacin de consecuencia entre dos proposiciones: la primera es la condicin
(antecedente) y la segunda es el resultado (consecuente).
En el lenguaje natural es habitual encontrarlas expresadas en orden inverso, por lo que al simbolizar
hemos de tener cuidado para entender bien el sentido de la relacin lgica expresada.

Por ejemplo: "Sera sumamente feliz si os callarais" [ p q ] [siendo p: "os callarais" y q: "Sera
sumamente feliz"].

REGLA DE SIMBOLIZACIN V
Las expresiones del lenguaje natural tales como "sientonces", "luego", "por tanto", "en
consecuencia", "cuando", "se infiere de","se deduce de","se deriva de","se demuestra",
etc. se sustituirn por el smbolo " ".

Ejemplos:
"Si hubiera venido en coche p aun estara buscando aparcamiento q ": p q
"Cuando traigas el taladro p, te arreglar la cortina q": p q
"Si no cambias de hbitos p entonces se acabar cansando de ti q ": p q

5) El Bicondicional.
Significa que las dos proposiciones se implican mutua y necesariamente. Equivale a un condicional en
ambas direcciones: slo ocurrir la primera si sucede la segunda y slo suceder la segunda si sucede
la primera.

REGLA DE SIMBOLIZACIN VI
Las expresiones del lenguaje natural tales como "si y slo si", "equivale a", "es igual a", "vale
por", "es lo mismo que", etc. se sustituirn por el smbolo "".

Ejemplos:
"Un pueblo es democrtico p si y slo si hay elecciones libres q ": p q
"Slo si cambias de actitud p, estar dispuesto a ir tus quejas q": p q
"Sers feliz p slo si buscas el placer q y no te dejas esclavizar por los deseos r": p (q r)

C) SIGNOS AUXILIARES.
a) Son las llaves, los parntesis y los corchetes.
b) Indican cmo estn agrupados los smbolos de una expresin de nuestro lenguaje formal, y cul es el
smbolo de enlace principal en ella. Si no hay parntesis, hay una jerarqua para determinar el signo
dominante (1, 2 , 3 V). Ejemplo: p r V q es lo mismo que p (r V q).

SINTAXIS: FRMULAS BIEN FORMADAS.


Todos los lenguajes se componen de unos smbolos y de unas reglas sintcticas que nos indican qu
combinaciones de smbolos son correctas y cules no lo son. Por ejemplo, en castellano no podemos decir:

5
Mis amigos y yo voy al cine.

La oracin del ejemplo est mal formada porque no hay la concordancia debida entre el nmero del
sujeto (plural) y el nmero del verbo (singular). Tambin en matemticas hay unas reglas que nos indican
qu combinaciones de smbolos podemos hacer, de modo que si nos presentaran lo siguiente:

%=4+(78)
no sabramos qu hacer simplemente porque la expresin est mal formada, no respeta las reglas de
formacin de frmulas matemticas.
Del mismo modo, cualquier combinacin de smbolos lgicos no constituye una frmula bien formada.
As, por ejemplo, no estn bien formadas las frmulas
p
pq
p
etc
No es difcil descubrir intuitivamente, a partir de ejemplos, qu frmulas estn bien formadas y cules
no, pero no est de ms ofrecer las siguientes reglas para la formacin de frmulas bien formadas
(fbf):

Regla 1: Toda proposicin atmica es una fbf.


Regla 2: Si A es una fbf, entonces A tambin es una fbf.
Regla 3: Si A y B son fbf, entonces (AB), (AB) y (AB)
tambin son fbf.

En consecuencia, podemos obtener dos tipos de frmulas: frmula atmica y frmula molecular. La
primera es una frmula constituida tan slo por una variable proposicional (por ejemplo: p , q , r , t ...).
La segunda es una frmula constituida por una variable proposicional y la negacin, o por varias
variables proposicionales unidas por una o ms conectivas (por ejemplo: p , p q , r v t s ...).

FORMALIZACIN
Formalizar consiste en analizar las expresiones del lenguaje natural y traducirlas al lenguaje formal
reducindolas a su forma. Su objetivo es reducir el razonamiento a su estructura formal separndola de
su contenido pues slo sta nos interesa para poder determinar su validez.

La trascripcin del lenguaje natural al lenguaje formal no es automtica ni literal: requiere un anlisis
minucioso del sentido de las expresiones que vamos a transcribir.

Se ha de tener en cuenta:
Slo se formalizan las proposiciones, no las frases o expresiones incluidas en el razonamiento que no lo
sean por pertenecer a otros usos del lenguaje que no sea el descriptivo. Esto es as porque esas
expresiones carecen de valor lgico.

Por ejemplo: Ay de m!, Ojal fuese as!, Hazlo!, Vendr esta noche?,...

A veces en el lenguaje natural dos frases pueden significar lo mismo expresado a travs de otras palabras.
En este caso se simbolizarn ambas con la misma variable proposicional (siempre segn el contexto).

Por ejemplo: "aumenta la temperatura corporal", "tiene fiebre" [ p ];


"Sac ms de cinco puntos en el examen", "aprob el examen" [ q ].

Hay que tener cuidado, de igual forma, con una proposicin y su contraria. Se simbolizan con la misma
variable proposicional, pero aadiendo la negacin.

Por ejemplo: "aprobar" [ p ] , "suspender" [ p ].

Cuando aparezcan dos proposiciones unidas por un condicional hay que tener en cuenta cul es el
antecedente y cul es el consecuente, no siempre aparecen en este orden. Para aclarar el sentido hay que
tener presente qu expresa, ya que para que se d el consecuente (resultado) se ha de dar primero
necesariamente el antecedente (condicin).

Por ejemplo: "Escribira un libro si tuviera tiempo" [ p q ] [siendo p: "tuviera tiempo" y q: "Escribira
un libro"]. Un buen mtodo es parafrasear la expresin que queremos formalizar: decirla con otras
palabras, pero sin cambiarle el sentido para poder aclarar ste ltimo. Por ejemplo: "Si tuviera tiempo
entonces escribira un libro"

6
Pasos a seguir: esquema de un razonamiento.

Ejemplo: Si me abandona, me sentir muy solo. Si contina conmigo, seguiremos pelendonos sin parar.
Si me siento solo o nos seguimos peleando continuamente, tendr una fuerte depresin. Es obvio que,
tanto si me deja como si sigue conmigo, entrar en una fuerte depresin.

Determinacin de las premisas y la conclusin.

Destacamos y numeramos correlativamente en el razonamiento cada una de las premisas. Normalmente,


en el lenguaje natural aparecen unas separadas de las otras por un punto y seguido.
La conclusin, que aparece normalmente al final (o al principio en raras ocasiones), en el lenguaje natural
est introducida por expresiones tales como: "Por lo tanto...", "En consecuencia...", "Se deduce de esto...",
"Por consiguiente...", etc.

Determinacin de las variables proposicionales.

Subrayamos cada una de las proposiciones asignndoles una variable proposicional. As como las vamos
subrayando, hacemos con ellas una lista y as, si se repiten, sabemos como las hemos simbolizado y
podemos asegurarnos que dos no sean la misma expresada con otras palabras.

Si me abandona p me sentir muy solo q. Si contina conmigo p seguiremos pelendonos sin parar r. Si
me siento solo q o nos seguimos peleando continuamente tendr una fuerte depresin s. Es obvio que
tanto si me deja p como si sigue conmigo p entrar en una fuerte depresin s.

Variables Proposicionales:
p: "me abandona"
q: "me sentir slo"
r: "nos seguiremos peleando continuamente"
s: "tendr una fuerte depresin"

Determinacin de las conectivas.

Analizamos las relaciones lgicas existentes entre las proposiciones en cada una de las premisas y en la
conclusin simbolizndolas.

Realizacin del esquema del razonamiento.


Hacemos el esquema del razonamiento que contiene las premisas y la conclusin simbolizadas y refleja
su estructura formal.

Esquema del razonamiento:


P1: p q
P2: p r
P3: ( q v r ) s
_____________
C: ( p v p) s

Otros ejemplos:
- La comida no le supo bien: p
- Maana es sbado y nos iremos a la playa: p q
- Aunque t no me quieras, yo te amo: p q
- O bien te lo comes o no vers la tele: p q
- O lo recoges todo o no vas de excursin y no te regalo el vestido: p ( q r )
- Si vienes, no te lo olvides en casa: p q
- Si no estuvo aqu el asesino, entonces no lleg a verle o lo supo demasiado tarde: p ( q r )
- No por mucho madrugar amanece ms temprano: ( pq )
- Slo si baja la Bolsa 15 puntos, debers vender el 10% de las acciones de la empresa y no comunicarlo
al Consejo: p ( q r )
- Slo en el caso de que no sepas hacer el dibujo y haya dos preguntas en la 2 casilla del examen, debers
contestar nicamente a la primera de ellas: ( p q )r
- Si Pedro sabe hablar ingls, entonces no habla francs, aunque si no supiese hablar ingls, tampoco
hablara francs: ( p q ) ( p q )
- Si llegas despus de las 10, te encontrars con la puerta cerrada y no podrs cenar: p ( q r )
- Juan abrir la puerta y saldr a la calle, slo en el caso de que, si viene Mara con el coche, no venga con
ella Pedro: ( p q )( r s )
- No es verdad que si Antonio estudia, entonces Mara no trabaje: ( p q )
- Slo si t no lo has matado, te dejaremos libre: p q

7
1. Simboliza las siguientes proposiciones:

a. No vi la pelcula, pero le la novela:

b. Ni vi la pelcula ni le la novela:

c. No es cierto que viese la pelcula y leyese la novela:

d. Vi la pelcula aunque no le la novela:

e. No me gusta trasnochar ni madrugar:

f. O t ests equivocado o es falsa la noticia que has ledo:

g. Si no estuvieras loca, no habras venido aqu:

h. Llueve y o bien nieva o sopla el viento:

i. O est lloviendo y nevando o est soplando el viento:

j. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los
derechos civiles:

k. Roberto har el doctorado cuando y solamente cuando obtenga la licenciatura:

2. Simboliza:

a. Si p, entonces q:

b. No es el caso que p y q:

c. p solamente si q y no-r:

d. p o no-q:

e. Si p y q, entonces no-r o s:

f. Si p, entonces q, y si q, entonces p:

g. Si p y q, entonces r. p. Luego si q, entonces r:

h. Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t:

You might also like