-1-

SINTAXIS Y SEMANTICA. LENGUAJE FORMAL Y LENGUAJE SIMBOLIC O.

El propsito de la Lgica es construir un lenguaje artificial, y para ello es necesario recordar

los conceptos de sintaxis y semntica.

La sintaxis de un lenguaje se ocupa del estudio de los signos con prescindencia de

su significado, como Mara va al cine o Mara se queda en casa, es un enunciado
disyuntivo.
La semntica, en cambio, se ocupa de la relacin entre los signos y lo designado por
ellos:Mara va al cine o Mara se queda en casa es un enunciado verdadero.

Por otro lado, entenderemos por lenguaje formal, un lenguaje natural en el que se
relievan slo los aspectos que interesan para determinado estudio, en nuestro caso la forma
lgica, y se prescinde del resto de significados que la acompaan. Ejemplos:

Si todos los hombre son mortales

Y ningn ngel es mortal
Entonces ningn hombre es ngel.

El ejemplo planteado es una afirmacin, que es verdadera por su estructura,es bastante

evidente. Pero si queremos resaltar su forma, podemos prescindir de algunas palabras que
no le hacen a la forma.

Si todos lo H son M
Y ningn A es M,
Entonces ningn H es A.

Lo que hemos hecho es eliminar los trminos CATEGOREMATICOS, es decir, aquellos que
por si solos significan algo, y mantener los SINCATEGOREMATICOS, aquellos que
requieren dela compaa de otro categoremtico al emplearse, y en los que reside la
fuerza lgica del argumento.

Al analizar los argumentos, hemos observado que el lenguaje natural presenta

imprecisiones, de modo tal que deseamos desprendernos tambin de los
sincategoremticos. En todo caso quedarnos sin lenguaje, mejor dicho, construir uno
artificial, definiendo de forma muy precisa los signos que emplearemos. En otras palabras
construir un lenguaje simblico . Como seala Frege: los lenguajes naturales son como
el ojo humano, instrumento de gran fineza y versatilidad, mucho ms rico en usos que un
telescopio, pero para determinados fines requerimos del telescopio; del mismo modo, para
estudiar los temas de la lgica requerimos de un lenguaje simblico.
LOGICA PROPOSICIONAL:
ASPECTOS SEMANTICOS

1.-EL LENGUAJE SIMBOLICO:

En sentido general, el lenguaje simblico es un tema complejo, pero en la lgica y en la
matemtica, el lenguaje simblico es un leguaje artificial constituido por un conjunto de
signos cuyo objetivo principal es la precisin y la operatividad. En ese sentido el lenguaje
 -2-

simblico es un clculo y , como tal est compuesto por un conjunto de signos primitivos ,
reglas de formacin y reglas de transformacin.

Los smbolos primitivos, son smbolos admitidos sin definicin en el sistema, o sea,
signos artificiales admitidos independientemente de todo contenido material. Los signos
primitivos se caracterizan por su precisin, exactitud y universalidad.
Las reglas de formacin son las que nos permiten construir las combinaciones correctas
de los signos primitivos dentro de un sistema. Las reglas de formacin permiten obtener las
frmulas bien formadas o expresiones bien formadas del sistema.
Las reglas de transformacin nos permiten transformar una frmula bien formada en
otra frmula bien formada (fbf) de smbolos. Tiene como propsito resolver problemas
lgicos o matemticos.

A manera de ejemplo, a continuacin vamos a inventar un clculo denominado el Sistema K:

1.- Smbolos primitivos del sistema K: , , $

2.-Regla de formacin: En el sistema K, una fbf es una secuencia de smbolos que inicia
con y termina en .
Aplicando esta regla de formacin, son fbf lo siguiente.

2.1.-
2.2.- $
2.3.- $
2.4.- $$
2.5.- $
Como podemos apreciar, aplicando nuestra regla formacin en el sistema K podemos
obtener infinitas frmulas.

3.- Reglas de transformacin.

RT1 (A) = def. (A A)

RT2 ( A B ) = def. ( B A )

Segn RT1, se puede eliminar el operador para obtener otra frmula equivalente
donde slo aparece el operador . Por ejemplo.

() Aplicando la RT1, se transforma en ( )

( ( ) ) por RT1 se transforma en ( ( ) ) (( ) )

Segn RT2 podemos cambiar la posicin de la frmulas y obtener otra frmula equivalente.
Por ejemplo.

( ) aplicando RT2 se transforma en ( )

( ) ( ) por RT2 se transforma en ( ) ( )

Lo nico que se ha hecho hasta este punto es operar o manipular un conjunto de signos bajo
estrictas reglas explcitamente admitidas. Mientras el conjunto de smbolos primitivos no
tenga un significado o un contenido semntico, ser un conjunto de operaciones puramente
sintcticas o de clculo. Pero, si le asignamos un contenido a cada uno de los signos
 -3-

primitivos, ya estamos interpretando el clculo, y se tendr un lenguaje con estructura de

clculo . Supongamos que cada uno de los signos tenga contenido como sigue:

= ser abogado,
= ser poltico,
= ser religiosos
= no es cierto que,
= ser amigo de, :
(,) = determinan slo el alcance de los operadores.
Entonces, cada fbf tendr una interpretacin, por ejemplo:

( ) debe interpretarse no es cierto que sea abogado un tal individuo.

( ) se interpretar un abogado tal es amigo de un poltico cual.
( ) se interpretar no es cierto que un poltico tal sea amigo de un religioso cual.
( ( ) ) significar un abogado tal es amigo de un poltico cual y ellos a su vez
son amigos de un religioso tal.
( ( ) ) significar un poltico tal no es amigo de un abogado cual.

De igual modo, podemos interpretar n-fbf .; sin embargo, a pesar de que se construyen
los clculos en funcin de contenidos que deben ser aplicados, tericamente los clculos son
independiente de todo contenido material.

LOGICA PROPOSICIONAL.

Esta lgica se conoce tambin como lgica de las proposiciones no analizadas, porque
estudia slo las relaciones entre proposiciones, sobre la base de los conectivos lgicos.

SINTAXIS DE LA LOGICA PROPOSICIONAL

Se refiere a un conjunto de signos carente de contenidos. La lgica proposicional (LP)
como un clculo proposicional es un sistema formal y simblico sobre la base de un conjunto
smbolos primitivos, reglas de formacin y reglas de transformacin. Los smbolos primitivos
constituyen el lenguaje de la lgica proposicional, entre ellos tenemos: las variables y
operadores proposicionales, ms los signos de agrupacin y los puntos auxiliares.
Estos smbolos como ya hemos dicho, son admitidos sin definicin en un sistema, en
este caso en LP. Las reglas de formacin nos permite combinar los smbolos primitivos para
obtener FBF en LP, y las reglas de transformacin son para efectuar las operaciones con
FBF, o derivar una consecuencia lgica a partir de un conjunto de premisas. As tenemos:

1.- Smbolos primitivos de LP:

A) .- Variables proposicionales: p, q, r, t, s, etc.de acuerdo a las necesidades.
Cada una de las variables representan una proposicin simple.

B).- Operadores proposicionales: , , , , .

Los operadores proposicionales se clasifican en dos:
a.- Operador mondico: No. Operan en un solo sentido.
b.- Operador didico: operan en doble sentido.
 -4-

C).- Smbolos auxiliares : Son signos de agrupacin y los llamados puntos auxiliares.
, , , , , , , ,

2.- Metavariables: Tambin son denominados variables metalingsticas o smbolos

del metalenguaje. Representan de manera genrica frmulas: A,B,C,.Cada una de estas
metavariables representan frmulas proposicionales.

3.-Reglas de formacin.- son las que determinan las posibles combinaciones correctas de
los smbolos primitivos, en otras palabras, nos permiten construir FBF del sistema.

Son las siguientes:

a.- Todo smbolo proposicional es una FBF.

b.-Si A es FBF, entonces A tambin lo es.
c.- Si A y B son FBF, entonces
1.- A B Tambin lo es
2.- A B Tambin lo es
3.- A B Tambin los es
4.- A B Tambin lo es
d.- Una frmula es una FBF si y solo si es el resultado de la aplicacin de las reglas
anteriores en un nmero finito de veces.

Ejemplo:
Si yo digo: La pizarra es verde = p
P = A.
Tenemos los siguientes ejemplos
1.- p
2.- q
3.- p
4.- p q
5.- p q
6.- p q
p q No est comprendido en ninguna regla.
. Una FBF depende de las reglas de formacin.

FORMULAS Y ESQUEMAS DE FORMULAS:

UNA FRMULA:.- Es un conjunto de smbolos que funcionan de acuerdo a un conjunto de
reglas de formacin. El nombre de cada frmula depende del smbolo de la frmula.

Veamos algunos ejemplos:

7.- p q
8.- p q r p
9.- pq r q r p

ESQUEMAS DE FORMULAS.- Es la representacin de frmulas mediante metavariables.

Ejemplos:

1) A
2) A
3) A B 6
4) A B 5,8
 -5-

5) A B 5
6) A B C

EJERCICIOS:
ABA p, q, r, s, , , ,

A= pqr
B= qr q r

p q r p r p q r

EL USO DE LOS PUNTOS AUXILIARES.

ANALIZAR RBOL SEMNTICO.

SEMNTICA DE LA LOGICA PROPOSICIONAL.

Como ya sabemos construir frmulas proposicionales, vamos a interpretar semnticamente

cualquier FBF en LP. Esta interpretacin consistir en que una FBF puede ser verdadero (V)
o falsa (F) en algn caso posible. La verdad y la falsedad son conceptos semnticos, toda
interpretacin siempre estn en funcin de estos dos conceptos semnticos, lo que se
denomina la lgica bivalente o lgica de dos valores.
Las proposiciones se caracterizan por ser verdaderas y falsas ejemplos:
1.- La nieve es blanca.
2.- La nieve no es blanca.
3.- La sangre es roja.
4.- La nieve es blanca y la sangre es roja.

En este ejemplo observamos proposiciones verdaderas y contradictorias.

La proposicin 4 se forma uniendo 1 y 3, y podemos decir que 4 es verdadera solo si
1 y 3 lo son, ya que sus valores de verdad dependen exclusivamente de las primeras . El
valor de verdad en estas proposiciones compuestas dependen de la funcin de los valores
de verdad de las proposiciones componentes como no, y y otras palabras similares; en
la LP es reflejado por los conectores lgicos proposicionales.
En el lenguaje natural expresiones como la moneda es estable, la moneda es
inestable, nos har elegir como proposicin simple a la primera, en razn al prefijo in de
la segunda. En otro ejemplo como la manzana es buena y esta manzana es mala se
presenta una contradiccin, entonces decidir cul lleva la negacin ? se presenta una
arbitrariedad que ocurre, a veces, en los lenguajes naturales resalta el hecho que en ellos la
decisin de qu proposiciones son simples y cuales compuestas es relativa. Pero una vez
identificada las proposiciones simples, las proposiciones compuestas se reconocen
automticamente.
En el lenguaje simblico no se presentan estas ambigedades, en el lenguaje
natural aparecen miles de trminos que no son conectores lgicos, peor an , los que sirven
 -6-

de conectores lgicos cumplen otras funciones. Por eso presentaremos su rol semntico de
los conectores lgicos:

SEMANTICA DEL LENGUAJE SIMBLICO PROPOSICIONAL.

Se denomina INTERPRETACIN SEMNTICA a las posibilidades de verdad (V) y
falsedad (F) que se pueden asignar a una proposicin. Una proposicin es verdadera si
ocurre lo que enuncia:
Ejemplo:
El cielo est nublado es verdadera si y slo si el cielo est nublado.

Con estas base es fcil inferir lo que ocurre con la falsedad. ASI , dada una proposicin,
sta ser verdadera si el mundo est en un estado tal que ocurre lo que enuncia y ser falsa
si el estado del mundo es diferente. Para juzgar si una proposicin es verdadera o falsa slo
nos interesan dos estados posibles del mundo (EPM) con respecto a dicha
proposicin. Uno en que es verdadera, el estado del mundo es tal que acontece lo
enunciado; y otro en el que es falsa, el mundo se halla en un estado en que no se da lo
descrito por la proposicin.
Si encontramos dos proposiciones, por decir `p` y `q`, tenemos que considerar dos
EPM para determinar los valores de verdad de cada una. As tenemos:

El cielo est nublado y hace fro En este caso consideramos dos EPM para
determinar
los valores de verdad de cada una. Si
deseamos con-
considerar las diferentes combinaciones de
valores de
verdad que pueden ocurrir tenemos:
1) `p verdadero y q verdadero.
2) p verdadero y q falso.
3) p falso y q verdadero.
4) p falso y q falso.
Lo que acostumbramos abreviar de la siguiente manera:

1) Vp y Vq
2) Vp y Fq
3) Fp y Vq
4) Fp y Fq

Si tuviramos 3 variables las combinaciones seran 8:As:

3 indica la cantidad de variables

2 indica los EPM.

LAS FUNCIONES VERITATIVAS:
Y LAS REGLAS SEMNTICAS:

A.-LA NEGACIN:
 -7-

Nuestra semntica es muy pobre; una proposicin slo posee dos posibles valores de verdad: VERDAD Y FALSEDAD.
Esto vale para toda proposicin simple y compuesta.
La negacin es un operador mondico que se rige por la siguiente regla: La funcin de la negacin es
negar una afirmacin o negar una negacin..

p p
V F
F V

Veamos su regla semntica:

1.- V p F p

F p V p

Es decir p ` es verdadero en el EPM en que `p` es falso y p` es falso en el EPM en que `p` es
verdadero . Esta disposicin de la informacin es la que utilizan los diagramas semnticos.

B.- LA CONJUNCIN: La conjuncin es la unin de dos o ms proposiciones mediante la partcula y, Por ejemplo:

La pizarra es negra y la tiza es blanca

p Y q
p q
Su funcin veritativa de la conjuncin se rige por la siguiente regla:
Unaproposicin conjuntiva es verdadera cuando todas sus proposiciones componentes son
verdaderas. Es falsa cuando por lo menos uno de sus componentes es falsa.

1).- V A B F A B
V A
V B F A FB

La primera parte nos dice que si la proposicin representada por A B es verdadera, las expresiones
representadas por A y B lo son. Dice esto poniendo V A B encima de V A y de V B . La segunda , en
cambio dice que si A B es falsa, basta que lo sea A o B. Dice esto poniendo F A B y debajo las dos
posibilidades F A o F B como dos ramas, cada rama representa uno de .los casos. Ntese que en el caso F
A nada se dice sobre el valor de verdad de B ; y lo mismo ocurre en la rama F [B] , A puede tener cualquier
valor de verdad. En particular, ninguna de las ramas se opone a que tanto A como B sean falsos .

C. LA DISYUNCION: Una proposicin disyuntiva es falsa cuando sus proposiciones com-

Ponentes son falsas, en los dems casos es verdadero

Veamos su regla semntica:

V A B F A B
FA
VA ] V [B ] F B

D.- LA CONDICIONAL: Una proposicin condicional es falsa cuando la premisa

es verdadera y falsa la conclusin

Veamos su regla semntica:

VA B F A B
V A
F A V B F B

E.- LA BICONDICIONAL: Una proposicin bicondicional es verdadera cuando tienen

los mismos valores y falsa en otros casos.
Veamos su regla semntica:
 -8-

V A B] F [ A B]

V A F A V A] F[ A]
V B F B F B V B

Aumentar ejercicios:

DIAGRAMA SEMNTICA COMO PROCEDIMIENTO DECISORIO

Los diagramas semnticos deciden la validez o invalidez de una frmula, de
una inferencia , de una proposicin.
Si tenemos una frmula:
A
F(A)
V(p)
F(q)

V( r ) V( s )

F( p ) F( s ) V( q ) F( s)

Reglas de oro del mtodo del diagrama semntico

1.- Suponer que la frmula A es Verdadero o Falso; pero no ambas .

2.- Aplicar las reglas semnticas en las frmulas que no ofrecen bifurcacin.
3.-Clausura la rama que exhibe una contradiccin.
4.- Una frmula se puede bifurcarse en una o dos subramas.
5.-Cada rama es independiente respecto al otro, salvo al tronco comn.
6.-Si una frmula que est en el tronco comn se bifurca, se introducir en
cada una de las subramas clausuradas.
7.-Si a partir de la Hiptesis A Verdadero, Todas las ramas se clausuran,
entonces A es Falsa en todo estado posible del mundo, pero si a partir de A
Falsa, todas las ramas se clausuran, entonces A es verdadero en todos los
Estado posibles del mundo.
 -9-

8.- Una o ms ramas no clausuradas nos conduce a determinar que A es

verdadera o A es Falsa en algn estado posible del mundo.

SIMBOLIZACION DE LAS PROPOSICIONES :

Consiste en traducir una expresin de un lenguaje natural, a uno simblico (LP),para

ello cada proposicin simple debe ser simbolizado por una variable proposicional, y
que los trminos de enlace deben ser simbolizados por operadores proposicionales que
las interpretan. La formalizacin no es un proceso mecnico, Ejemplo:

1.-Ral es economista, pero no ejerce su profesin

Pq

2.- Mario estudia Biologa o Qumica, pero no ambas a la vez

pqpq

3.-O Mario estudia Biologa o estudia Qumica

pq

4.-Mario ni estudia Biologa ni estudia Qumica

pq

5.- Mario no estudia Biologa y no estudia qumica

p q

6.- No es cierto que haga fro o est lloviendo.

p q

7.- Si aprueban el examen, entonces egresarn.

pq

8.- Si el reo es culpable , entonces ser condenado o deportado a su pas.

p qr

9.- Elas viajar a Huancayo si toma el tren a tiempo.

pq
 -10-

10.- Eisnten dice la verdad, pues la teora de la relatividad no es exacta ni las leyes
de la mecnica son absolutas.
rp q

11.-Smith es director de la empresa o economista, porque tiene el mayor nmero

de acciones.
q r p

12.- El capitn ha muerto o est prisionero, ya que el galen no tiene piratas.

p qr

13.- Las mujeres te amarn si les mientes. Los hombre te odiarn pues le dicen la
verdad
p q r s

14.- Si Mara recibi el telegrama o tom el avin o ignor mi pedido.

P qr

15.- Si no es el caso que rosa es abogada o asesor financiero, es actriz y

empresaria teatral.
p q r s

16.- No es cierto que compr acciones de la telefnica o bonos del gobierno.

Luego obtuvo dividendos porque compr acciones de la Telefnica.
p q rs

17.- La comisin de gobierno de San Marcos declar ilegal la huelga de

trabajadores pues no presentaron los recursos a tiempo y no terminaron las
conversaciones. Los trabajadores sern despedidos si mantienen las medidas
de fuerza.
r p q s t

18.- Si un pas es pobre no debe gastar dinero en diversiones como el ftbol o las
fiestas populares. Si gastan dinero habr mayor desnutricin.
 -11-

pqr qs

19.- Miguel recibi el mensaje a tiempo porque estuvo en casa y el servicio de

correos es eficiente. Miguel viajar a la convencin pues recibi el mensaje a
tiempo.
rpq s r

EJERCICIOS:
Sabiendo que la variable P significa :
P = est lloviendo
Q= hace mucho fro
traducir al lenguaje natural los siguientes esquemas moleculares.

1.-
Sol : No es verdad que no est lloviendo.

2.- p q
Sol : No est lloviendo o hace mucho fro.

3.- p q
Sol: Est lloviendo pero no hace mucho fro.

4.- p q
Sol : Si est entonces hace mucho fro

5.- q p
Sol: Hace mucho fri si y solo si no esta lloviendo.

6.- p p q
Sol: Si est lloviendo ,entonces, est lloviendo o hace mucho fro.

7.- p q
Sol : No es cierto que est lloviendo y hace mucho fro.

8.- p q
 -12-

Sol : No es cierto que est lloviendo o hace mucho fro.

9.- p q
Sol : Ni est lloviendo ni hace mucho fro.

10.- p q p q
Sol : Est lloviendo o hace mucho fro. Luego, no es verdad que est
lloviendo y haga mucho fro.

Proposiciones complejas:

1.- la terrorista japonesa ser expulsada del pas si tiene pasaporte falso,
pero no tiene pasaporte falso. Por lo tanto, no ser expulsada del
pas.

qpq p

2.- Elena viaja a Roma, porque gana la beca y obtiene el primer

puesto. Pero Elena no viaja a Roma. Por lo tanto, no se da el caso
que obtuvo el primer caso y gan la beca.

q r .. p p .. r q

3.- El espectculo se cancela, o est lloviendo si hace fro. Mas el

espectculo se cancela. Luego, no est lloviendo.

 -13-

1. Si hay lluvias en la sierra y el gobierno distribuye abono, entonces la produccin

agrcola crecer.

I.- Identificacin de la variable:

Hay lluvias en la sierra = p
El gobierno distribuye abonos = q
La produccin agrcola crecer = r
II.- Estructura Formal

Si (--- p---y---q---), entonces (---r---)

III. Simbolizacin

p q r
IV.- Validacin

p q r

2. El Per tendr problemas fronterizos si los hitos demarcatorios no son visibles.

a. El Per tendr problemas fronterizos =p
b. Los hitos demarcatorios son visibles =q
1. (_ _ _P_ _ _) SI ( no --- q----)

q p

3. O Ada estudia ingls y Francs, o visita a sus amigas y busca

informacin.
Ada estudia ingls = p
Ada estudia francs = q
Ada visita a sus amigas = r
Ada busca informacin = s
O (---p---y----q-----) o (----r-----y-----s----)

a. P q r s

4. . No es el caso que Esperanza no sepa tocar la guitarra y no componga una

meloda, puesto que es egresada del conservatorio de msica.

Esperanza saber tocar la guitarra = p

Esperanza compone una meloda =q
Esperanza es egresada del conservatorio de msica =r

No es el caso que (no ---p---y no ---q---), puesto que (---r---)

 -14-

r p q

5. Cuando el cielo est nublado hace fro

i. El cielo est nublado = p
ii. Hace fro = q
P q
En este caso la forma lgica de la proposicin es condicional, porque el
sentido de cuado es de si...entonces.

6. Cuando llova a cntaros muri Vallejo.

Llova a cntaros = p
Muri Vallejo =q
P q
En este caso la forma lgica de la proposicin es conjuntiva, porque el
sentido de la proposicin es llova a cntaros y a la vez mora
Vallejo.

7. Tanto el Per como Bolivia son productores de cobre.

El Per es productor de cobre =p
Bolivia es productor de cobre =q
P q
8. Chile limita con el Ocano Pacfico aunque el Per limita tambin con
el Ocano Pacfico.
Chile limita con el Ocano Pacfico = p
Per limita con el Ocano Pacfico = q
P q

9. Aunque llueve ir a visitarte

Llueve =p
Ir a visitarte = q
P p q
i. En este caso, aunque indica llueve o no llueve, ir a
ii. visitarte. Tambin puede interpretarse as:
p q p q

10. Aunque severo, es justo.

a. Es severo = p
b. Es justo =q
P q

11. El avin despegar a las 5 de la maana a menos que la neblina cubra el

aeropuerto.
 -15-

El avin despegar a las 5 de la maana = p

La neblina cubre el aeropuerto =q
Se puede simbolizar as : q p
Tambin puede ser as: p q
O sea de esta otra forma: p q

12. As como podemos simbolizar una proposicin a partir de su

estructura formal, tambin podemos construir una proposicin en
lenguaje ordinario a partir de una estructura formal. Por ejemplo, dada
la siguiente forma lgica:

Si--- p ----, entonces ----q ---o ---r----

Para construir una proposicin en lenguaje ordinario que tenga esta forma
lgica, tenemos que atribuir una proposicin simple a cada variable
proposicional, luego redactar la proposicin completa de acuerdo a la
forma lgica. Entonces, inventamos una proposicin para cada variable,
como sigue:

p = El Per productor de minerales.

q = El Per exporta mercurio
r = El Per exporta estao
i. Ahora, redactando de acuerdo a su forma lgica, se tiene:
ii. Si el Per es productor de minerales, entonces exporta
mercurio o
exporta estao.

si el calor dilata los cuerpos aunque no sean de metal entonces el calor dilata los
metales. Ya que, si los cuerpos son dilatados por el calor, entonces si los cuerpos son
de metal, los metales son dilatados por el calor.

I.- Identificacin de variables

El calor dilata los cuerpos = p
Los cuerpos son de metal = q
El calor dilata los metales = r
II .Estructura Formal
Si p aunque no q entonces r. Ya que, si p, entonces si q, r

III. Simbolizacin

p. . q r p q r
 -16-

aplicando diagrama semntico una rama

una rama queda abierta de hip. F.

13. Si el testigo dice la verdad entonces el mayordomo estaba en la escena

del crimen. Pero el mayordomo no estaba en la escena del crimen. En
consecuencia, el testigo no dice la verdad.

El testigo dice la verdad = p

El mayordomo estaba en la escena del crimen =q
p q q p (tautologa)
14. Otros casos:
a. Maria no lleg tarde anoche
P: Maria lleg tarde anoche

La simbolizacin es: p
b. No es el caso que San Martin pospusiese los intereses peruanos
a los argentinos.
San Martin pospuso los intereses peruanos a los
argentinos.
La simbolizacin es: p
15. Si no es el caso que no salga el sol y haga fro, llover.
El sol sale. p
Hace fro. q
Llueve. R

Si [no es el caso de que ( no p y q) ]. r.

pq)r

Ejercicios para simbolizar (prcticas)

a. Si el aeroplano tiene suficiente gasolina entonces llegar al medioda.

b. El primer productor de cobre en Sudamrica no limita con ecuador.
c. Un nmero es positivo si y solo si es mayor que cero.
d. No es el caso que Brasil o Mxico pertenezcan al Pacto Andino.
e. Ni Ecuador ni Bolivia son productores de algodn.
f. Se hubiera impedido el asalto al banco si la alarma hubiera sonado
oportunamente.
 -17-

g. Iveth conseguir un ascenso como reportera, a menos que pierda la entrevista con
el director de prensa.
h. Cuando el cielo no est nublado, silva el viento y los pajarillos cantan.
i. Tendremos muchas flores en el jardn, si la estacin es propicia y las semillas no
estn malogradas.
j. Subir el precio del pan porque subi el precio de la gasolina, en vista de que si
subi el precio de la gasolina, el gobierno no puede controlar la inflacin.

k. Habr un concierto si y solamente si hay una conferencia. Si no hay un baile

entonces no habr conferencia. Sin embargo, no es el caso que haya baile y
concierto pero habr uno de los dos. Consecuentemente, no habr conferencia

l. O el puntero izquierdo no se adelanta, o baja un mediocampista y el centro

delantero no queda libre de marcacin. Pero no ocurre que, si los marcadores de
punta no suben, entonces el puntero izquierdo no sube. Por lo tanto, se retrasa un
mediocampista y los contrarios presionan al equipo, ya que si el centro delantero
no se desmarca y los defensas laterales no se adelantan, entonces los contrarios
presionarn al equipo.

Adems de largo, el ejemplo presenta un sinnmero de oraciones aseverativas distintas,

algunas de las cuales parecen juntarse en una misma familia significativa, vemosla :
Grupo 1: El puntero izquierdo no se adelanta, El puntero izquierdo no
sube.
Grupo 2: Baja un mediocampista, Se retrasa un mediocampista.
Grupo3: El centro delantero no queda libre de marcacin, El centro
delantero no se desmarca.
Grupo 4: Los marcadores de punta no suben, Los defensas laterales no se
adelantan.
Grupo 5: Los contrarios presionan el equipo, Los contrarios presionarn al
equipo.
Algunas consideraciones:
marcador de punta y defensa lateral es lo mismo.
Subir y adelantarse tambin.
Lo mismo ocurre con bajar y retraerse.
Quedar libre de marcacin y desmarcarse.

De donde:
El puntero izquierdo se adelanta =p
Baja un mediocampista =q
El centro delantero se desmarca = r
Los marcadores de punta suben =s
 -18-

Los contrarios presionan al equipo = t

Y la estructura formal se puede representar como:

O no p, o q y no r.
Pero no ocurre que, si no s, entonces no p.
Por lo tanto, q y t, ya que si no r y no s, entonces t.

Y concluimos:
p q r s p r s t q t

a. pq f. qp
b. p g. q p
c. pq h. p q r
d. p q i. q r p
e. p q j. q r q p

SIMBOLICE LAS SIGUIENTES PROPOSICIONES

1. No es el caso que si Cristina no estudiaba abogaca ni habra podido contraer
matrimonio, dado que Cristina no ha podido contraer matrimonio porque preside la
administracin de una empresa.
2. Subir el precio del pan porque subi el precio de la gasolina, en vista de que si
subi el precio de la gasolina, el gobierno no puede controlar la inflacin.
3. La aguja de la brjula gira en vista de que la embarcacin ha cambiado de rumbo,
y la embarcacin ha cambiado de rumbo dado que hay tormenta en alta mar.
4. Aunque el dlar no suba de precio, la moneda peruana se devala; sin embargo,
aunque la moneda peruana no se devala, los artculos de primera necesidad
suben de precio.
5. Tanto la democracia popular como la economa liberal, conducen un gobierno
capitalista, a menos que se prohban las importaciones.
6. Aunque sus discursos eran siempre dbiles,, decida siempre con rigor y justicia;
sin embargo, cuando se enfrentaba en una polmica sola vencer fcilmente a sus
interlocutor.
7. Habr un concierto si y solamente si hay una conferencia. Si no hay un baile
entonces no habr conferencia. Sin embargo, no es el caso que haya baile y
concierto pero habr uno de los dos. Consecuentemente, no habr conferencia.
8. Si te levantas temprano y tomas el avin de las siete, entonces logrars estar
presente en la ceremonia de clausura. Si no ests presente en la ceremonia de
clausura, entonces no te levantaste temprano o no tomaste el avin de las siete.
9. O el satlite entra en rbita, o , si falla el cohete impulsor, caer al mar. El satlite
no cae al mar .Por consiguiente, o el satlite entra en rbita o no falla el cohete
impulsor.
 -19-

10. Si Carlos fue a la playa, o bien se dedic a pescar o bien pas la maana
remando. Carlos no se dedic a pescar. En consecuencia, si Carlos fue a las
playa, pas la maana remando.
11. Si Alberto no ingresa a la universidad, entonces, o se dedica a la mecnica o se
har comerciante. Alberto no se har comerciante. Luego, si Alberto ingres a la
Universidad, no se dedicar a la mecnica.
12. Si el calor dilata los cuerpos aunque no sean de metal entonces el calor dilata los
metales. Ya que, si los cuerpos son dilatados por el calor, entonces si los cuerpos
son de metal, los metales son dilatados por el calor.
13. Aprobaron en el congreso una ley sobre aranceles luego de que intervino el
Ministro de Economa, en vista de que si no se aprobara una ley sobre aranceles,
no se podan reajustar los impuestos a la exportacin.
14. El producto marginal crece cada vez que el producto total crece, lo que significa
que el resultado de los rendimientos es creciente; a menos que, el producto total
crezca porque el gobierno hizo una emisin inorgnica.
15. El mtodo cientfico es un conjunto de procedimientos lgicos. De ah que se
convierte en gua para la investigacin y la demostracin.
16. O bien te dedicas al deporte o bien te dedicas al estudio, pero no puedes perder
el tiempo.
17. Si Darwin est en lo cierto, entonces el ser humano es producto de la evolucin. El ser
humano es producto de la evolucin. Por lo tanto, Darwin estaba en lo cierto.
18. Si trabajo mucho, termino el da cansado y duermo mucho mejor. No pude dormir. Por
tanto, no trabaj mucho.
19. Si no llueve, se arruinarn las cosechas. Si se arruinan las cosechas, o el gobierno ayuda
a los campesinos o hay miseria. Por eso, el gobierno ayudar a los campesinos.
20. La productividad aumenta si y slo si hay estmulos. Si hay estmulos, los costos suben.
Si los costos suben, hay que subir los precios y quizs los clientes se enojen. La
productividad aumenta. Por lo tanto, quiz los clientes se enojen.
21. El edificio se derrumbar, si sus cimientos son endebles o la construccin es deficiente.
La construccin no es deficiente. Concluimos que, el edificio no se derrumbar.
22. Si existen sustancias compuestas entonces el tomo es una sustancia compuesta. Si
existen sustancias simples entonces el electrn es una sustancia simple. Existen
sustancias simples y compuestas. Por lo tanto, el tomo es una sustancia compuesta y el
electrn es una sustancia simple.
23. El ingeniero llegar hoy si y slo si tom el vuelo al medio da. Tom el avin al medio da
si sali a tiempo de la oficina. Luego; el ingeniero llegar hoy si sali a tiempo de la
oficina.
24. A pesar de que el rey Amulio saba que Silvia estaba encinta, no la mand matar. Si no la
mand a matar, entonces Silvia dio a luz a Rmulo y Remo. Por lo tanto, si el rey Amulio
saba que Silvia estaba encinta entonces Silvia dio a luz a Rmulo y a Remo.
25. Si el rey Amulio orden colocar en una cesta a los gemelos Rmulo y Remo, entonces
fueron arrojados al ro Tber. Ocurre que, los gemelos Rmulo y Remo fueron salvados
por una loba y amamantados por esta. De ah que, Rmulo fund la ciudad de Roma ya
que los gemelos Rmulo y Remo fueron amamantados por una loba.
26. Si no me invitan a almorzar entonces me voy. Pero, si no me voy, entonces tendr que
llamar por telfono a casa y dejar el mensaje de que no me esperen. Me invitan a
almorzar. Por lo tanto, Tendr que dejar el mensaje de que no me esperen.
 -20-

27. Nuestro razonamiento puede dar lugar a errores porque es deficiente. Si es deficiente, es
indispensable identificar las leyes lgicas; no obstante nuestro razonamiento podra dar
lugar a errores. Pero no es cierto que nuestro razonamiento no sea deficiente ni sea
indispensable el identificar las leyes lgicas. En consecuencia, nuestros razonamientos
pueden dar lugar a errores porque es deficiente.
28. Si Newton observ la cada de la manzana entonces no fue un azar que descubriera las
leyes del movimiento. Newton comprendi la ley de gravitacin universal y no fue un azar
que descubriera las leyes del movimiento, porque Robert Hooke introdujo a Newton en el
estudio de una trayectoria curva de rbitas planetarias. En consecuencia, si Newton
observ la cada de la manzana o Robert Hooke introdujo a Newton en el estudio de una
trayectoria curva de rbitas planetarias, entonces no fue un azar que descubriera las
leyes del movimiento.
29. No es el caso que Demcrito sostena slo la existencia del tomo o la existencia del
vaco. Si Demcrito rechazaba la existencia de la nada entonces sostena slo la
existencia del tomo. De ah que, si Demcrito sostena la existencia del vaco o
rechazaba la existencia de la nada, entonces sostena slo la existencia de la nada.
30. Demcrito rechazaba la existencia de la nada dado que sostena slo la existencia del
tono. Demcrito rechazaba la existencia de la nada si y slo si no sostena la existencia
del vaco. Por lo tanto, no se da el caso que Demcrito sostuviera slo la existencia del
tomo y del vaco.
31. La empresa hace reingeniera si y slo si es competitiva. Si la empresa es competitiva
entonces mejora su eficiencia. Por tanto, si la empresa hace reingeniera, mejora su
eficiencia.
32. No se da el caso de que la bebida est helada y el pastel muy caliente. La bebida est
helada si ha estado en la hielera. En consecuencia, no es el caso que el pastel est
caliente y la bebida haya estado en la hielera.
33. Si el gobierno de los Estados Unidos ha radicalizado su actitud frente a los ilegales o se
ha incrementado las tropas en la zona de fronteras, entonces la condicin de los ilegales
es altamente precaria. El senado de los Estados Unidos no aprueba la construccin de un
muro con la frontera mexicana porque la condicin de los ilegales es altamente precaria.
En consecuencia, si el gobierno de los Estados Unidos ha radicalizado su actitud frente a
los ilegales, entonces se ha incrementado las tropas en la zona de fronteras o el senado
no aprueba la construccin de un muro con la frontera mexicana.
34. Reconocidos organismos apoyan el uso de la pldora del da siguiente, sin embargo sus
detractores insisten en el tema de su efecto abortivo. Si la pldora acta antes de su
fecundacin entonces la pldora ayudar a la salud de millones de mujeres. Pero, los
detractores insisten en el tema de su efecto abortivo. En consecuencia, si reconocidos
organismos apoyan el uso de la pldora del da siguiente, entonces la pldora acta antes
de la fecundacin y ayudar a la salud de millones de mujeres.
35. Si la moral es comn a todos los hombres, entonces el hombre es capaz de ejecutar una
accin conscientemente. Los valores constituyen las mximas cualidades humanas si el
hombre es capaz de ejecutar una accin conscientemente. Si la tica laboral no se
desvanece entonces la moral es comn a todos los hombres. Por lo tanto, si la tica
laboral no se desvanece entonces los valores constituyen las mximas cualidades
humanas.
36. Si la publicidad es decisiva en el funcionamiento del mercado o es importante en la
socializacin, entonces trasmite modelos que influyen en las personas. La publicidad es
decisiva en la informacin popular si trasmite modelos que influyen en las personas. Por
lo tanto, si la publicidad es decisiva en el funcionamiento del marcado, entonces tambin
es decisiva en la informacin popular.
 -21-

37. Si Gamarra manda atacar a los lanceros, la artillera har fuego y los infantes
pasarn a la retaguardia. En caso de que mande atacar a los lanceros, la
infantera deber abrir fuego. Luego, si los infantes no pasan a la retaguardia,
abrirn fuego.

Gamarra manda atacar a los lanceros = p

La artillera hace fuego =q
Los infantes pasan a la retaguardia. =r
La infantera debe abrir fuego =s
p q r p s r s. (evaluar por diagrama semntico los EPM en que
esta proposicin es verdadera o falso)

EJERCICIOS SOBRE DIAGRAMAS SEMNTICOS

1) P q p q r

2) pq q r p q p r

3) p q r r s t p q

4) q p r p r s q q r s

5) s r q q p

6) p q r p q p r p

7) rsrsr

8) q p r q p r

9) r s p p s r p

10) r p r q q p r q

11) p q p q p q

12) r p r r p q r p r p
 -22-

13) p r q r s s r p

14) p q p q q r s

15) p r q p r t t r

16) p s r s r p

17) q r r q p

18) q r p r q p

19) p q r r q p

20) r s p p q s

21) q p s r q s p r
 -23-

EXPRESIONES QUE DENOTAN:

NEGACION CONJUNCION DISYUNCION CONDICIONAL CONDICIONAL

No es el caso Aunque. o. Si p... entonces...q Consecuente ocupa el
que. Pero. U. Si p...,. q... primer lugar aparecen
An cuando. ...luego.... en:
Es falso que. Ya...ya. ....es condicin
Tanto...como. ...por lo tanto....
Es imposible Bien... bien. necesaria.......
e. ...de ah que...
que. Sea... sea. ..p...si...q....
Sino. ...es condicin
No es verdad Adems. Ora ... ora. suficiente.... ....siempre
que . Ni...ni. .... As se sigue que....
No es cierto que... ....ya que.......
Ms.
que. ... slo si..., ... porque......
Mas.
Le falta.. ... cuando.......
No obstante. cuando...,...etc.
... toda vez
Sin. Sin embargo. aqu se observa primero
antecedente y luego la que...
Carece de. Tambin.
consecuente. ... a menos
Igualmente.
Nunca . que...
A pesar de.
Jams. ... dado que...
A menos que.
... toda vez
A la vez que.
que...
...puesto que...
pq pq p q ... en vista de
que......
... a no ser
que....

Se simboliza As:

qp
BICONDICIONAL: Se representa con la siguientes expresiones:
Cuando y solo cuando,
Si ....., entonces y slo entonces.
Si y solo si.
 -24-

Es condicin necesaria y suficiente que. p q

Porque y solo porque.

SIMBOLIZAR LAS SIGUIENTES PROPOSICIONES:

1.- No es el caso de que la bebida est hecha y el pastel est muy caliente. La bebida
est hecha; en consecuencia, no es el caso que el pastel est caliente .
2.- Si Pedro compr el libro entonces es propietario del libro. No es el caso que sea
propietario y no cumpla con su estudio; por lo tanto, Pedro no compr el libro o no
cumple con su estudio.
3.-O la piscina est temperada si hay calefaccin, o los baistas concursan en natacin.
Pero los baistas no concursan en natacin; de manera que, es imposible que haya
calefaccin entonces la piscina no est temperada.
4.- O la guerra es catastrfica o no la es an cuando, los guerreros luchan a favor de su
`patria; si y solo si, tengan armas para luchar y una patria que defender.
5.- Si Carmela recibi la carta, o bien tom el bus o bien no recibi el pedido. Carmela no
tom el bus; entonces y slo entonces , si Carmela recibi la carta entonces ignor el
pedido.
6.- Lizandro tomar el automvil y estar aqu maana, si recibi el mensaje. O Lizandro
no tom el automvil; o Lizandro no recibi el mensaje.
7.- Matilde estuvo en el accidente si tom el avin, y no asisti a la reunin si estuvo en
el accidente; pero Matilde tom el avin o no asisti a la reunin; por consiguiente,
Matilde estuvo en el accidente.
8.- Si Irma decepcion la llamada, entonces si quiere seguir practicando el bsquet har
el pago correspondiente. Pero quiere seguir practicando el bsquet. Adems; Irma har
el pago correspondiente si Irma decepcion la llamada.
9.-Si Lorena recibi la comunicacin, entonces si quiere realizar su viaje har la gestin
de su pasaporte. Lorena har la gestin de su pasaporte ; de ah que, si Lorena recibi la
comunicacin entonces quiere realizar su viaje.
10.- Si Nadia recibi el cable , entonces o asistir a la sesin u ofrecer un banquete.
Nadia no ofrecer un banquete; por lo tanto, si Nadia no recibi el cable entonces no
asistir a la sesin.
11.-O Bertha tiene muchos admiradores o, si es muy atractiva ganar un concurso de
belleza. Bertha no ganar un concurso de belleza; luego, Bertha tiene muchos
admiradores o no es muy atractiva.

ESTUDIO DE LA INFERENCIA:
 -25-

Inferimos de manera permanente y espontneamente.

Realizamos operaciones que consiste en derivar unas cosas de otras. Ejemplo.
o Si vemos el cielo nublado, decimos que va a llover
o Humo ...... fuego
o Largas colas en el mercado ........ escasez.
o Ciudades ..........habitantes.
Por lo tanto en todo momento inferimos.
Pero TODO es inferencia ESPONTNEA

Qu es inferencia Lgica?
Es una operacin de DEDUCCIN.
Se deducen de unas formulas llamadas Premisas a otra llamada Conclusin.
Este proceso se da conforme a Reglas muy precisas
TAMBIEN SE DENOMINA CONSECUENCIA SEMANTICA

El objeto de estudio de la lgica es la inferencia. Cada inferencia es una estructura de

proposiciones donde a partir de conjunto de proposiciones llamadas premisas se deduce a
otra proposicin llamada conclusin.

QUINE El objeto ms importante de la lgica en su aplicacin a la ciencia y al discurso

cotidiano mediante TECNICAS O METODOS si una proposicin sigue NECESARIAMENTE o NO a
otra proposicin.

Por ello, la relacin ms importante entre el conjunto de premisas y la conclusin de

una inferencia es el concepto de IMPLICACION, porque si la conclusin sigue necesariamente
al conjunto de premisas entonces el conjunto de premisas implica a la conclusin.

IMPLICACION: Es importante distinguir los conceptos CONDICIONAL E IMPLICACIN,

porque la no distincin de estos conceptos ha generado, entre otros problemas, la paradoja
de la implicacin material, donde se considera el operador Como implica en vez de
leerlo como smbolo de si...entonces.
Se dice que A implica a B cuando unidos por el condicional A como antecedente
y B como consecuente, la relacin es vlida o lgicamente verdadera .Ejemplo
Dada las frmulas A y B :
A = p q
B = p q
Para ver si A implica a B , debemos proceder relacionando las frmulas de
acuerdo a la siguiente forma condicional.
AB Luego tenemos: p q ( p q) ( p q )
v v v V V
V F F V V
 -26-

F V F V
V
F F F FV
TAUTOLOGIA
Como el resultado es una tautologa si dice que A implica a B.
La implicacin es una relacin SEMNTICA o una relacin entre los valores
de verdad.
Definimos de esta manera:
Si una proposicin A implica a otra proposicin B, entonces es imposible
que
que A sea verdadero y B falsa, es decir, si A es verdadera entonces B
es necesariamente verdadera.

Esta definicin se puede expresar;

A B = def. A B

EJEMPLO:
a) Dada las siguientes proposiciones:

A.= O una princesa se casa joven, o puede llegar a los 21

aos y contraer nupcias con un
Caballero.
B = O una princesa se casa joven o contrae nupcias con
caballero.
Determinar si A implica a B. Para tal efecto primero
simbolizamos las proposiciones, luego, aplicando el
mtodo decisorio del D .S, averiguar la relacin
implicativa entre A y B:
A = p qr
B = p r
P q r p r

PROPIEDADES DE LA IMPLICACION:
Las propiedades de la implicacin aparecen expresadas en
las siguientes cuatro leyes:
 -27-

1.- Propiedad reflexiva:

Cualquier frmula (A) se implica a s misma.
A A
2.- Propiedad transitiva:

Si A implica B y B implica a C, entonces

A implica a C.

A B B C A C

3.- Cualquier frmula implica a una tautologa (T).

AT

4.- Una contradiccin () implica a cualquier frmula.

A

Ejercicios:
a.- pq p q (Modus Ponens o eliminacin de )
b.- p q q p ( Modus Tollens)
c.- p q pq (Silogismo disyuntivo)
 -28-

d.- pqq (Simplificacin o eliminacin de )

e.- ppq (Adicin o Introduccin de )
f.- pqprqrr ( Eliminacin de )
g.- pq
h.- pq T

LA EQUIVALENCIA:
Tambin es importante distinguir el concepto equivalencia concepto bicondicional. El Concepto
bicondicional se refiere a la forma lgica de A si y slo si B, mientras que el concepto
equivalencia se refiere a una relacin semntica entre los valores componentes de A si y slo
si B

Se dice que A equivale a B cuando unidas A y B por el bicondicional y aplicada la

regla correspondiente, se obtiene como resultado una relacin lgicamente verdadera o una
tautologa. Ejemplo: A y B

(1) A = p q
B = q p A B

p q q p

Si una proposicin A equivale a otra proposicin B, entonces A implica a B y , a la

vez,B implica a A.

Esta definicin de la equivalencia puede ser expresada como sigue:

A B = def. A B B A
 -29-

Ejemplos:
(2) Dadas las siguientes proposiciones, vamos a determinar si A y B son
equivalentes:

A = Si la produccin minera crece y hay divisas en el pas, entonces hay

Inversin de capitales.
B = Si hay divisas en el pas, entonces hay inversin de capitales a menos
que la produccin minera no crezca.

Simbolizando tenemos:
La produccin minera crece = p
Hay divisas en el pas = q
Hay inversin de capitales = r

A= pq r
B= q pr

p q r qpr

PROPIEDADES DE LA EQUIVALENCIA:

1.- Propiedad reflexiva:

Cualquier frmula equivale a si misma.
AA

2.-Propiedad simtrica:
Si A equivale a B , entonces B equivale a A.
A B B A

3.- Propiedad transitiva:

 -30-

Si A equivale a B y B equivale a C, entonces A

equivale a C.
AB BC A C

4.- Todas las frmulas tautolgicas son equivalentes.

T1 Tn
5.- Todas las frmulas contradictorias son equivalentes.
1 n

DADA LAS SIGUIENTES INFERENCIAS DECIDA POR DS SI ES VALIDA O NO.

(1).- Si el testigo dice la verdad entonces el mayordomo estaba en la escena del crimen. Pero el
mayordomo no estaba en la escena del crimen. En consecuencia, el testigo no dice la verdad.
(2).- El agua se congela si y slo si la temperatura est bajo cero. Ocurre que el agua no se
congela. Por lo tanto, si la temperatura no est bajo cero entonces la congeladora est malograda.

(3) .- La produccin minera crece, si y slo si los salarios son altos y hay inversin de capitales.
Ocurre que la produccin minera no crece. Luego, o los salarios no son altos o no hay inversin de
capitales.

(4) Si el galen trae piratas entonces el capitn no ha muerto. La tripulacin llegar al amanecer
si no hay tormenta en el alta mar. Pero, si hay tormenta en alta mar entonces el galen no trae
piratas. De modo que, la tripulacin llegar al amanecer si el capitn no ha muerto.

(5) La pelcula es original, si ha habido un asesinato y no se sabe quin es el autor del delito. Si
se sabe quin es el autor del delito entonces el homicida es el mayordomo. Pero el guionista no
es original si el homicida es el mayordomo. En consecuencia, si ha habido un asesinato, entonces
la pelcula es original si el guionista es original.
 -31-

(6) Si un cuerpo de conocimientos no es comunicable, entonces no es cientfico. No es el caso

que si un cuerpo de conocimientos es comunicable, entonces el mtodo cientfico y las tcnicas
puedan aprenderse en los libros. Por consiguiente, un cuerpo de conocimientos es comunicable o
no es cientfico, dado que el mtodo cientfico puede aprenderse en los libros.

(7) Se conservar el mismo volumen de produccin si la reforma agraria no da buenos

resultados; dado que la reforma agraria dar buenos resultados si todas las tierras son explotadas, y
se conservar el mismo volumen de produccin si todas las tierras no son explotadas.

(8) La produccin minera crece, si y slo si hay divisas en el pas o hay inversin de capitales. Si
hay problemas con los trabajadores o no hay inversin d e capitales, los polticos mienten. De ah
que, si la produccin minera no crece, hay problemas con los trabajadores si los polticos mienten,
puesto que los polticos no mienten si no hay problemas con los trabajadores.

(9) Si la infraestructura es el principal problema de la educacin, entonces muchos nios no irn

al colegio a menos que el Estado construya grandes unidades escolares. No es el caso que si
mejora el nivel de la enseanza, la infraestructura no sea el principal problema de la educacin.
Pero muchos nios irn al colegio si mejora el nivel de la enseanza. En consecuencia, el Estado
construye grandes unidades escolares si y slo si mejora el nivel de la enseanza.

(10) O Carneades no habra venido en auxilio de los epicreos o no habra hecho causa comn
contra los estoicos; en vista de que, si hubiera venido en auxilio de los epicreos, habra venido
contra los gnsticos y con el pretexto de lucir su virtuosidad dialctica, y si hubiera venido con el
pretexto de lucir su virtuosidad dialctica, no habra hecho causa contra los estoicos ni habra
venido contra los gnsticos.

(11) Tanto la matemtica como la geometra son exactas porque Euclides no se equivoc. Si
Euclides no se equivoc, tanto la matemtica como la geometra son sistemas axiomticos. Pero
cuando se mide distancia interestelares, la geometra no es exacta. En consecuencia, cuando se
mide distancias interestelares, tanto la matemtica como la geometra no son exactas, en vista de
que la matemtica y la geometra son exactas si y slo si son sistemas axiomticos.

(12) Si la fsica es exacta, Tolomeo no dice la verdad si Coprnico tiene la razn. No es el caso que
si la tierra es plana el movimiento de los planetas no sea elptico. Tolomeo dice la verdad si y slo
si la Tierra es plana. De ah que , Coprnico tiene la razn si y slo si el movimiento de los
planetas es elptico, dado que la fsica es exacta.

(13) La lmpara est encendida, si y slo si hay fluido elctrico a la vez que hay alguien en casa .
Si no hay alguien en casa, o los de casa han salido a pasear o han ido a una funcin teatral. Los de
casa han ido a una funcin teatral si han salido a pasear. Por consiguiente, si hay fluido elctrico
entonces no es el caso que hayan ido a una funcin teatral y la lmpara est encendida.

(14) Si los fsicos dicen la verdad, el movimiento que describen los astros es elptico y la frmula
de la gravedad es exacta. Pero, si los fsicos no dicen la verdad, ni la frmula de la gravedad ni la
frmula de la velocidad de la luz son exactas. Luego, las frmulas de la gravedad y de la velocidad
de la luz son exactas, si y slo si el movimiento que describen los astros es elptico.
 -32-

(15) Aunque no gane el concurso viajar al extranjero. Obtendr una beca, a menos que estudie
fsica nuclear o informtica. Si estudio fsica nuclear o informtica, entonces no me dedicar al
turismo. Por lo tanto, si gano el concurso pero no obtengo una beca, entonces no viajar al
extranjero si y slo si me dedicar al turismo.

Ms ejercicios para diagrama semntico

1. p q r p q r
2. p r q r q
3. q p r p q p q
4. q p s r q s p r
p = Erigir un monumento ecuestre a Tupac Amaru sera un anacronismo (si)
q = El Inca conoci el caballo.
r = El que tenga Francisco Pizarro es coherente.
s = Fue inherente a su cargo de capitn general..
5. q r s p q r
p = La teora de la gran unificacin del universo incluye a la fuerza de la
gravedad.
q = las teoras estudian las partculas.
r = las teoras estudian los tomos.
s = la gravedad es dbil en su efecto.
6. p q r r p p
7. p q r r p q p r

LA INFERENCIA EN GENERAL

Formalmente la INFERENCIA podemos definirla as:

P1
P2
.
.
.
Pn
C

Simbolizando tenemos:

P1 P2 . . . p n C
 -33-

Para analizar una inferencia es necesario conocer la funcin que desempean ciertos trminos de
enlace que conectan la premisa y la conclusin.

En la prctica , primero se ubica la conclusin, luego las restantes sern las premisas. Las premisas
y las conclusiones ocupan diversas posiciones. As como sigue:

1 .- P1 , P2 , Pn . Luego, C.
2.- C , puesto que P1 , P2 y Pn.
3.- P 1 , P2 , luego, C, puesto que Pn P

Trminos que denotan la conclusin:

Por lo tanto
Por consiguiente
En consecuencia
De modo que
De ah que, etc.

Ejemplos:
1.- Si el galen no trae piratas, entonces el capitn ha muerto o est prisionero. Pero el capitn no
ha muerto ni est prisionero. En consecuencia, el galen trae piratas.

Simbolizando:

El galen trae piratas = p

El capitn ha muerto = q
El capitn est prisionero = r

p q r
q r
p

luego tenemos:
p q r q r p (La inferencia es vlida)

FORMAS VALIDAS DE RAZONAMIENTO

Las formas vlidas de razonamiento tienen su fundamento en los

principios, leyes y reglas lgicas.
 -34-

1.-Los principios lgicos.- Son los fundamentos de todas las verdades lgicas (de
todas las tautologas) . Cada principio lgico es el punto de partida y a la vez el punto de llegada en
las demostraciones lgicas.
En la lgica tradicional los principios lgicos son los siguientes:

a.- Principio de Identidad .- Segn este principio toda proposicin solo se implica
a si mismo. Ejemplo:
o Si el nmero dos es par, entonces el nmero dos es par.

P P (Lenguaje objeto)
AA (Metalenguaje)
Ley Reflexiva
En todas las cosas se afirma (ejemplo Miguel Grau) El principio de la identificacin
b.- Principio de no contradiccin .- Segn este principio es imposible que una
proposicin sea Verdadera y Falsa a la vez.

Es imposible que el nmero 2 sea par y no sea par p p

marxistas (p p) ser o no ser
Segn Kant : El principio de no contradiccin es principio supremos de la razn.

c.-Principio del tercio excluido.- una proposicin o bien es verdadera o bien es

falsa, no existe una tercera posibilidad.
pp
el nmero dos es par o el nmero dos no es par.
Hegel deca: estos tres principios se reducen a una o a sus equivalentes.

Leyes lgicas: Son tautologas que estn en el universo lgico. Solamente son leyes un
pequeo grupo, con el propsito de resolver problemas lgicos. Estas leyes podemos clasificarlas
en leyes equivalentes y leyes implicativas.

Como ley se expresa mediante una frmula proposicional, as:

p q p q Modus Ponendo Ponens (Ley)

Modo poniendo pongo
Modo afirmando afirmo

Cada ley tiene su respectiva REGLA lgica

 -35-

Reglas Lgicas: es una forma vlida de razonamiento cuyo objetivo es la operatividad

permite efectuar operaciones , para transformar frmulas o derivar una consecuencia lgica. Una
regla lgica pertenece al metalenguaje y se sita en el plano prctico. Pero como regla el MPP se
expresa: Si afirmamos el antecedente de una frmula condicional, se concluye en la
afirmacin del consecuente de dicha frmula condicional.La forma de este razonamiento es
como sigue:

AB
A
B
Sin embargo las Leyes se pueden usar como reglas.

1. ( p q r s)
2. ( p q )

r s

p q r s p q r s

Las reglas lgicas y el mtodo de la derivacin

LAS EQUIVALENCIAS NOTABLES:

Se usan en la trasformacin y simplificacin de frmulas:

1.- Leyes conmutativas (Conm)

1. ( p q ) q p
2. p q q p
3. p q q p

Segn esta leyes, las frmulas conjuntivas, disyuntivas y bicondicionales se pueden permutar.
2.-Leyes Asociativas (Asoc.)
 -36-

1. p ( q r ) p q r
2. p q r p q r
3. p q r p q r
(Nos indica que dos o ms conjunciones con la misma jerarqua se pueden agrupar indistintamente.
Esta afirmacin vale tambin para las disyuntivas y las bicondicionales)

3.-Ley de idempotencia (Idem.)

1. p p p
2. p p p

(Las frmulas que se repiten en una cadena de conjunciones o disyunciones , se eliminan)

4.- Leyes distributivas ( Dist.)

1. p q r p q p r
2. p q r p q p r
3. p q r p q p r
4. p q r p q p r

5.- Ley de la doble negacin (DN)

1. p p
6.- Leyes de Morgan (DM)

1. pq p q
2. pq p q
A B A B

A B A B

Ejemplos:
o No es el caso que haga calor y llueva. Por lo tanto, o no hace calor o no
llueve.
o O no abunda el plancton o no hay anchovetas en el mar. Luego, no es el
caso que abunde el plancton y haya anchovetas.

(2) A B A B

o No es el caso que el paciente tenga sarampin o tifoidea. Luego, el

paciente no tiene sarampin ni tifoidea .
o La pizarra no es verde y la tiza no es roja. Por lo tanto, no es el caso
que la pizarra sea verde o la tiza sea roja
7.-Leyes de la absorcin (Abs.)
p p q p
p p q p
p ~ p q p p
 -37-

p ~ p q p p
8.- Leyes de la implicacin (Imp.)

1 p q pq
2 p q pq

Nota: Una frmula condicional se transforma en una frmula disyuntiva con solo
negar el antecedente de dicha frmula (1). Tambin se puede decir : p
implica a q, si y slo si o p es falso o q es verdadero . De igual modo (2)
p implica a q si y slo si no es el caso que p sea verdadero y q falso .
Por ejemplo:
1.- p q r
a.- p q r de 1 por Imp
b.- p q r de 2 por Imp.(puede haber confusin consultar)
p (q r) Esta anotacin es ma verificar
o Una proposicin implicativa equivale a una disyuncin con el primer
componente negado. As:

o Si es primavera entonces el sol brilla. Luego, o no es primavera o el Sol

brilla.
O la materia no se destruye o la teora del cambio es absoluta. En consecuencia,
si la materia se destruye entonces la teora del cambio es absoluta.

9.-Leyes de la equivalencia (Eq.)

1. p q p q q p
2. p q p q p q

ejemplos:
o Un nmero es positivo si y solo si es mayor que cero. Por lo
tanto, si un nmero es positivo entonces es mayor que cero, y si
un nmero es mayor que cero entonces es positivo.
o .Si el agua se congela entonces la temperatura est bajo cero, y si
la temperatura est bajo cero entonces el agua se congela. En
consecuencia, el agua se congela si y slo si la temperatura est
bajo cero.
3.- p q r
c.- p q r de 1 por Imp
d.- p q r de 2 por Imp.

10.-
 -38-

a. Modus ponendo Ponens (MPP):

De una premisa condicional, si se afirma el antecedente, se concluye
afirmando su consecuente: Ejemplo.
o Si la temperatura est bajo cero entonces el agua se congela. La
temperatura est bajo cero. Luego, el agua se congela.
o Si llueve y nieva, entonces habr tormenta. Ocurre que llueve y
nieva. Por lo tanto, habr tormenta.
A B
A
B
b. Modus Tollendo Tollens (MTT)
Si se niega el consecuente de una premisa condicional, se concluye
negando su antecedente. Ejemplo.
o Si llueve entonces las pistas estn mojadas. Las pistas no estn
mojadas. Por lo tanto, no llueve.
o Si pedro viaj en auto o en avin, entonces recibi el mensaje.
Pedro no recibi el mensaje. Por lo tanto, no es el caso que haya
viajado en auto o en avin.

AB
B
A

c. Silogismo Disyuntivo (SD)

De una premisa disyuntiva, si negamos uno de sus miembros, se
concluye en la afirmacin del otro. Formalmente se expresa as:
o O vamos al cine o vamos al y teatro. No vamos al teatro. Luego
vamos al cine.
o O hace fro y llueve, o el festival se celebrar al aire libre. El festival
no se celebrar al aire libre. Luego, hace fro y llueve.

A B A B
A B

B A

d. Silogismo Hipottico Puro (SHP)

El condicional es transitivo. Formalmente se expresa:
o Si Newton dice la verdad entonces el movimiento no es relativo. Si
el movimiento no es relativo entonces la fsica mecnica es exacta.
 -39-

Por lo tanto, si Newton dice la verdad entonces la fsica mecnica es

exacta.
o Si no obtengo la beca entonces no viajar, y si no, no ser
profesional. Por lo tanto, si no obtengo la beca, no ser profesional.
A B
B C

A C

e. Simplificacin (Simp.)
De una premisa conjuntiva se puede derivar cualquiera de sus
componentes.
o Lima es la capital del Per y Buenos Aires es la capital de Argentina.
Por lo tanto, Lima es la capital del Per.
o Henry estudia y Mara Luisa es profesora de lgica. Luego, Mara
Luisa es profesora de Lgica.
o
A B A B

B A

f. Conjuncin (Conj.)
A partir de un conjunto de premisas se puede concluir en la conjuncin
de las mismas. Ejemplos:
o Las rosas son aromticas . Las rosas florecen en todas las estaciones.
Luego, las rosas son aromticas y florecen en todas las estaciones.
o Claudio trabaja en la administracin pblica. Claudio es contador
colegiado. En consecuencia, Claudio es contador colegiado y trabaja
en la administracin pblica.

A A
B B
A B BA

g. Adicin (Ad.)

A partir de una premisa se puede concluir

adicionndole cualquier otra proposicin. As:

A B

A B BA
 -40-

h. Regla de la implicacin (Imp.)

o

i. Reglas de la equivalencia (Eq.)

o Una proposicin equivalente equivale a una mutua implicacin
de sus componentes. As:
A B AB B A
ejemplos:
o Un nmero es positivo si y solo si es mayor que cero. Por lo
tanto, si un nmero es positivo entonces es mayor que cero, y si
un nmero es mayor que cero entonces es positivo.
o .Si el agua se congela entonces la temperatura est bajo cero, y si
la temperatura est bajo cero entonces el agua se congela. En
consecuencia, el agua se congela si y slo si la temperatura est
bajo cero.

UNIVERSIDAD RICARDO PALMA

FACULTAD DE CIENCIAS ECONMICAS

Prueba De Entrada De Filosofa De La Ciencia

Apellidos y Nombres_______________________________________________

Responda Brevemente a las siguientes preguntas:

1.- Qu es Ciencia.
2.- Clases de Ciencias.
3.- Objeto de Estudio de la ciencia. Especifique segn su clasificacin.
4.- Cuntas funciones cumple la ciencia?: explique.
5.-Cmo defines a la filosofa?
6.- Qu es un paradigma?
7.- A que se denomina : Las revoluciones cientficas? ejemplo
8.- Qu es: a.- teora cientfica.
b.- ley cientfica.
 -41-

c.- Hiptesis cientfica.

9.- De acuerdo a la clasificacin de la ciencia y la filosofa: Dnde ubicas la Filosofa de la

ciencia? Explique.

10.- Qu diferencias y similitudes encuentras entre el que hacer cientfico y el que hacer filosfico.
Establezca un cuadro comparativo.

Digenes Rosales Papa

LGICA PROPOSICIONAL
1. Sintaxis de LP
1.1. Smbolos primitivos
a. Variables: p, q, r, ..., (p1, p2, p3, ..., pn)
b. Operadores: ., ., ., ., .
c. Smbolos auxiliares: (, ), [, ], {, }, y los puntos auxiliares .
1.2. Metavariables
A, B, C, ..., (A1, A2, A3, ..., An)
1.3. Reglas de formacin
1. Cada variable por si sola es una fbf.
2. Si A es una fbf, .A es una fbf.
3. Si A y B son fbfs, (A . B), (A . B), (A . B), (A . B) son
fbfs.
4. No hay otras reglas que las mencionadas en la presente reglas de
formacin.
1.4. Frmulas y denominacin de las frmulas
Frmula es un conjunto de signos ordenados secuentemente de
acuerdo a un conjunto de reglas de formacin. Cada frmula recibe la
denominacin de su signo principal.
Ejemplos:
1. (p . q) . r frmula disyuntiva
2. (. p . q) . (r . p) frmula condicional
3. . (p . q) . [(. q . r) . . p] frmula bicondicional

Digenes Rosales Papa

1.5. Uso de los puntos auxiliares
a. Regla: El operador didico con mayor nmero de puntos es de
 -42-

mayor jerarqua, si y slo si no est limitado por algn signo de

agrupacin.
b. Quine: Se puede combinar puntos auxiliares y signos de
agrupacin, usando el menor nmero de signos de agrupacin y
puntos auxiliares.
Ejemplos:
1. p . q ... r
2. . p . q ... r . p
3. . (p . q) :.: . q . r ... . p
4. . (p . q) . (. q . r ... . p)
1.6. Esquemas de frmulas
Esquema de frmula es la generalizacin de una frmula mediante
metavariables. La presencia de uno o ms operadores en el esquema
especifica el tipo de frmula.
Ejemplos:
1. La metavariable A es un esquema de frmula de cualquier
frmula.
2. . A es un esquema de frmula slo de las frmulas
negativas.
3. A . B es un esquema de frmula slo de las frmulas
condicionales.
4. . A . (B . C) es un esquema de frmula de frmulas
bicondicionales donde el componente izquierdo es negativo
y el componente derecho es disyuntivo.
 -43-

Digenes Rosales Papa

2. Semntica de LP
2.1. Funciones de verdad y reglas semnticas
Una funcin de verdad es la interpretacin verdadera y falsa de los
operadores proposicionales segn los estados posibles del mundo.
Las reglas semnticas son las interpretaciones grficas de las funciones de
verdad de cada uno de los operadores lgicos.
2.2. Negacin
. p V (. A) F(. A)
F V F(A) V(A)
VF
*
2.3. Conjuncin
p . q V (A . B) F (A . B)
V V V V(A)
VFF
F F V V(B) F(A) F(B)
FFF
*
Conmutativa
Propiedades Asociativa
Idempotente
2.4. Disyuncin
p . q V(A . B) F(A . B)
V V V F(A)
VVF
F V V V(A) V(B) F(B)
FFF
*
Conmutativa
Propiedades Asociativa
Idempotente
 -44-

Digenes Rosales Papa

2.5. Condicional
p . q V(A . B) F(A . B)
V V V V(A)
VFF
F V V F(A) V(B) F(B)
FVF
*
2.6. Bicondicional
p . q V(A . B) F (A . B)
VVV
VFF
F F V V(A) F(A) V(A) F(A)
F V F V(B) F(B) F(B) V(B)
*
3. Diagramas semnticos
El mtodo de los Diagramas Semnticos es un procedimiento decisorio
para frmulas proposicionales. Con este mtodo se puede averiguar si una
frmula proposicional es tautolgica, contradictoria o contingente. Consiste
en aplicar las siguientes reglas:
1. Suponer Verdadero (V) o Falso (F) para la frmula A.
2. Aplicar las reglas que no dan lugar a bifurcacin.
3. Las reglas que se bifurcan generan dos sub-tablas, y estas tambin
pueden bifurcarse en otras dos sub-tablas y as sucesivamente.
4. Cada rama es independiente salvo en lo que respecto al tronco
comn de donde proceden.
5. Clausurar la rama que exhibe una contradiccin.
6. Si a partir de la hiptesis A verdadero, todas las ramas se
clausuran, A es falso en todos los EPM (contradictorio).
7. Si a partir de una hiptesis A falso, todas las ramas se clausuran,
entonces A es verdadero en todos los EPM (tautologa).
8. Si a partir de A verdadero o de A falso hay por lo menos una
rama no clausurada, entonces se ha encontrado un contra-ejemplo de
A. A es verdadero en algn EPM, o A es falso en algn EPM.