1

Lgica

La lgica es, como dijimos, una ciencia que provee de mtodos que permiten diferenciar los
razonamientos vlidos de los invlidos. Un razonamiento es un conjunto de proposiciones tales que
una de ellas llamada conclusin se infiere de otra u otras a las que se llama premisas. Los
razonamientos pueden ser correctos o incorrectos es decir vlidos o invlidos. Ser correcto
cuando la conclusin se ha derivado correctamente de las premisas, es decir, cuando siendo las
premisas verdaderas la conclusin no podra ser falsa. Lo cual no significa que no podamos tener
un razonamiento vlido con premisas falsas y conclusin falsa, o con premisas falsas y conclusin
verdadera.

En un razonamiento vlido nos podemos encontrar con:

a) Premisas verdaderas y conclusin verdadera

b) Premisas falsas y conclusin falsa.
c) Premisas falsas y conclusin verdadera.

Esto ocurre porque a la lgica no le interesa describir la V o F de los enunciados que forman parte
de las premisas o de la conclusin del razonamiento. Lo que a la Lgica s le interesa describir es la
relacin de inferencia lgica que se da entre premisas y conclusin. Por la misma razn, decimos
que la Lgica es una ciencia formal y no una ciencia fctica, porque a la lgica no le interesa estudiar
el contenido material de los razonamientos sino su forma lgica. Esto quiere decir: investigar Cmo
puede pasar que si las premisas fuesen verdaderas, en un razonamiento vlido, la conclusin
tambin tendra que serlo? Lo cual no quiere decir, claro est, que las premisas sean de hecho
verdaderas.

Pongamos un ejemplo del caso a):

Todo argentino es americano

Todo salteo es argentino

Por lo tanto, todo salteo es americano.

Pongamos un ejemplo del caso b):

Todo peruano es africano

Todo porteo es peruano

Por lo tanto, todo porteo es africano.

Pongamos un ejemplo del caso c):

Todo uruguayo es europeo

Todo francs es uruguayo

Por lo tanto todo francs es europeo.

 2

El nico caso que no podramos tener dentro de los argumentos vlidos es el de premisas
verdaderas y conclusin falsa.

Ahora bien, para los argumentos invlidos, es decir incorrectos podramos tener los 4 casos:

1. Premisas verdaderas conclusin verdadera

2. Premisas verdaderas conclusin falsa
3. Premisas falsas conclusin verdadera
4. Premisas falsas conclusin falsa.

A continuacin, ejemplificamos cada uno de stos casos:

Caso 1: Todos los perros son vertebrados (V)

Algunos vertebrados ladran (V)
Por lo tanto, todos los perros ladran. (V)
Caso 2: Todos los perros son vertebrados (V)
Algunos vertebrados mallan (V)
Por lo tanto, Todos los perros mallan. (F)
Caso 3: Todos los perros son reptiles (F)
Algunos reptiles ladran (F)
Por lo tanto, todos los perros ladran. (V)
Caso 4: Todos los osos son mamferos (v)
Algunos mamferos son invertebrados. (F)
Por lo tanto, todos los osos son invertebrados. (F)

Esto se debe a que en estos argumentos, al ser incorrectos la conclusin no se ha seguido

correctamente de las premisas.

Clculo proposicional.

Es la parte de la lgica que se ocupa de estudiar los enunciados, es decir las proposiciones. Una
proposicin es una oracin declarativa que puede ser verdadera o falsa. Las rdenes, las preguntas,
las exclamaciones y las expresiones de deseo no son proposiciones porque no declaran nada, es
decir no tienen un valor de verdad. Solamente las oraciones declarativas decimos que son
enunciados, es decir proposiciones, porque informan sobre algn hecho en la realidad y tienen la
posibilidad de ser o verdaderos o falsos.

Cabe aclarar que solamente las proposiciones pueden ser o verdaderas o falsas. De los
razonamientos decimos que pueden ser vlidos o invlidos pero no verdaderos o falsos.

Variables proposicionales: se simbolizan con las letras minsculas (p, q, r, sz) que reemplazan a
un enunciado atmico cualquiera.
 3

Conectivas: son smbolos que conectan dos o ms enunciados y obtener as un enunciado

Simbolizacin en Traduccin al Valor semntico

lenguaje artificial lenguaje natural
Conjuncin . p. q Y, pero, aunque, sin Es verdadera en un
embargo, , solo caso: cuando sus
dos enunciados
componentes son
verdaderos.
Disyuncin inclusiva v pvq o, a menos que Es verdadera en tres
casos: cuando al
menos uno o los dos
de sus componentes
son verdaderos.
Disyuncin excluyente w pwq o bien , salvo que, Es verdadera cuando
o o uno o el otro de sus
componentes son
verdaderos, pero no
ambos al mismo
tiempo.
Condicional pq si.entonces Es verdadera en tres
casos: cuando el
antecedente es falso o
cuando el
consecuente es
verdadero.
Bi-condicional pq si y solo si Es verdadero en dos
casos: cuando sus dos
componentes tienen
al mismo tiempo el
mismo valor de
verdad.
Negacin p no es cierto que, Si p es verdadero,
no es verdad que, entonces p es falso y
es falso que viceversa.

Reglas de formacin

Me indican que tipo de combinaciones pueden efectuarse, es decir cuando una frmula es bien
formada y cuando no lo es.

Por ejemplo pq es FBF y .pq es un fmf

 4

Reglas de transformaciones

Me indican que tipo de derivaciones pueden realizarse. Por ejemplo:

Silogismo hipottico, Modus ponens, o Silogismo disyuntivo, modus tollens etc.

Signos de puntuacin , () Sirven para delimitar el alcance de la conectiva.

Ejemplos de simbolizaciones

Conjuncin p. q 1. Te acompaar aunque estoy

indispuesto
2. A pesar de estar indispuesto, sin
embargo te acompaar.
3. Pedro trabaja y Juan estudia.
4. Martn es joven y Carlos es valiente
Disyuncin pvq 1. El seor que acompaa a la novia es su
padre o su padrino.
2. Te buscar si tengo tiempo o si consigo
el auto.
3. Llegar a las cuatro o a las 5.
4. Florencia o Npoles estn en Suiza.
5. A menos que llueva Daro ir a pasar el
da al campo.

Condicional p q 6. Si este objeto es azul entonces tiene

color.
7. Si esta figura es un cuadrado entonces
es un polgono.
8. Si la tierra vuela entonces tiene alas.
9. Si hoy es lunes, maana es martes.
10. Si la tierra vuela entonces existe.
Bicondicional pq 1. Aprobar el examen si y solo si estudio
2. Mara llora si y solo si se ha golpeado la
cabeza
3. Calos vendr a la fiesta si y solo si Pedro
viene a la fiesta
4. Juan est mal humorado si y solo si se
acaba de levantar.
Negacin p 1. No es cierto que no saldremos de
p vacaciones
2. Montevideo no est en la Argentina.
 5

Traducir del lenguaje natural al lenguaje artificial

1. Es falso que ella sea moderada y tu paciente.

2. No estoy triste ni estoy alegre, sino aburrido.

3. Si me devuelves el libro, lo leer esta noche

4. Carlos es valiente aunque no es joven.

5. Oscar no es ni joven ni valiente

6. No es cierto que Juan sea audaz y atrevido

7. Puedes mentir o asumir tu culpa, pero si mientes lo sabr.

8. No es cierto que si estudio y me esfuerzo entonces no conseguir resultados

9. Viajars a Espaa y Francia si y slo si no es cierto que viajars a Suiza o viajars a

Austria.

10. Se le garantiza seguridad o no vendr

11. Al que madruga Dios lo ayuda

12. O estudio lgica o estudio metafsica, pero no ambas a la vez

13. Carlos vendr a la fiesta o Pedro vendr a la fiesta

14. Si Carlos viene a la fiesta, Pedro no lo har

15. Si estudio y trabajo no podr ir a la fiesta, pero si voy a la fiesta no aprobar el

examen.

16. Menem y de la Ra fueron presidentes de la Argentina

17. Si el cielo est claro, entonces no llover