Lgica - 1

Las proposiciones
Las oraciones son expresiones lingsticas que cumplen diversas funciones:
- Funcin expresiva: manifiestan estados de nimo, deseos, aprobacin o desaprobacin.
Es magnfico! Ojal que!
- Funcin prescriptita o directiva: estn encaminadas a producir o impedir determinada
accin; rdenes, pedidos, ruegos, normas. Las preguntas que van encaminadas a obtener
una respuesta: Me encuentra mejor, doctor?
- Funcin informativa: afirman o niegan algo. A este tipo se las denomina proposiciones o
enunciados, y de ellas se puede decir que son V o F.
Proposiciones son aquellas expresiones lingsticas que poseen una funcin informativa: afirman
o niegan algo, y tiene sentido decir de ellas que son V o F. La verdad y la falsedad son los valores
de verdad que tienen la proposicin.
Las proposiciones compuestas son aquellas que contienen dentro de s otras proposiciones.
Dentro de ellas hay algunas en que su valor de verdad est determinado por el o los valores de
verdad de las proposiciones componentes. Ej: No hay elefantes rojos es verdadera cuando hay
elefantes rojos es falsa, ya que el No acta como una proposicin. Se dice de estas
proposiciones que son funciones de verdad de las proposiciones componentes, es decir,
proposiciones extensionales. Hay otras proposiciones que no son funciones de verdad en sus
proposiciones componentes. Ej: Pedro cree que hay vida en Marte donde la falsedad o verdad
de hay vida en Marte no determina el valor de verdad del enunciado compuesto. El valor de las
proposiciones componentes no nos permite decidir acerca del valor de verdad de la proposicin
compuesta: son las proposiciones no extensionales.
Los razonamientos
Un razonamiento es un conjunto de proposiciones en el que una de ellas, llamada conclusin, se
pretende que est fundada en o se infiera de la(s) otra(s), llamada(s) premisa(s). Pueden dividirse
en dos grupos: los deductivos (aquellos razonamientos en los que se pretende que la conclusin
se deduzca de las premisas) y los no deductivos (la conclusin se infiere con cierto grado de
probabilidad, no con necesidad). Algunos razonamientos no deductivos son los inductivos (se
pasa de la afirmacin de que un cierto nmero de individuos tiene una propiedad o carece de ella,
a la afirmacin de que todos los individuos de la clase la tienen o no) y los analgicos (toda
diferencia analgica parte de la similaridad de dos o ms cosas en uno o ms aspectos, para
concluir la similaridad de esas cosas en algn otro aspecto).
Los componentes de los razonamientos son las premisas, la conclusin y las expresiones. Un
razonamiento puede tener infinitas premisas. Las expresiones derivativas tienen por objeto
indicar cul es la conclusin y cules son las premisas. No siempre figuran en los razonamientos,
algunas veces estn implcitas. Son de dos tipos: las que se anteponen a la conclusin (luego, por
lo tanto, por consiguiente), y las que se colocan despus de la conclusin, antepuestas a alguna de
las premisas (ya que, puesto que, dado que, como, pero).
Cuando la conclusin efectivamente se deduce de las premisas, el razonamiento es vlido; no
cuando se pretende que se deduzca. La validez no depende del contenido del razonamiento, sino
de su forma. No depende en forma directa de la verdad o falsedad de las premisas y conclusin.
Un razonamiento es vlido cando su forma es vlida. Y la forma de un razonamiento es vlida
cuando no hay ningn razonamiento de esa forma que tenga premisas verdaderas y conclusin
falsa. Un razonamiento es invlido cuando su forma es invlida, y su forma es invlida cuando
hay por lo menos un razonamiento de esa forma que tiene premisas verdaderas y conclusin
falsa.
El mtodo de la analoga lgica consiste en: dado un razonamiento (o una forma de
razonamiento), tratamos de encontrar uno de esa misma forma, que tenga premisas verdaderas y

Lgica - 2

conclusin falsa. Si se halla ese ejemplo el razonamiento es invlido. Pero la limitacin es que si
no encontramos un ejemplo tal, no es seguro que el razonamiento sea vlido.
Lgica proposicional
La clasificacin de las proposiciones extensionales establece por la presencia de palabras o
expresiones denominadas conectivas, que relacionan las proposiciones que forman un enunciado
compuesto. El no es una conectiva mondica, ya que afecta a una sola proposicin.
Las conjunciones: a las proposiciones que componen una conjuncin se las denomina
conjuntivos. La conectiva es el y, y sus smbolos son el . o .
p
V
F
V
F

q
V
V
F
F

p.q
V
F
F
F

Negaciones
El signo para representar la negacin es el - o ~. La negacin de un enunciado verdadero es
falsa, y la negacin de un enunciado falso es verdadera.
Disyunciones
Pueden ser exclusivas, cuando slo se puede dar una posibilidad, o inclusivas cuando las dos
opciones son compatibles. A menos que siempre es exclusiva, pero en general siempre son
inclusivas. La inclusiva es verdadera slo cuando los dos componentes son falsos, y es verdadera
en los dems casos. La disyuncin exclusiva es verdadera cuando un disyuntivo es verdadero y el
otro falso, y es falsa en los dos casos restantes. La inclusiva se representa con la cua y la
exclusiva con
p
V
F
V
F

q
V
V
F
F

pq
V
V
V
V

p
V
F
V
F

q
V
V
F
F

pq
F
V
V
F

Proposiciones condicionales
Lo que sigue a la palabra si recibe el nombre de antecedente, y lo que sigue a la palabra
entonces recibe el nombre de consecuente. El signo utilizado es la herradura. P-herradura-Q: Si
p entonces q.
p
q
p>q
V
V
V
F
V
V
V
F
F
F
F
V
Los condicionales contrafcticos son aquellos que tienen los verbos en subjuntivo y que tienen
los antecedentes falsos. Otro tipo es si algo tiene hierro, entonces se oxida, que son los
condicionales generalizados. A estos dos tipos no se los utiliza con la herradura.

Lgica - 3

Mtodo del condicional asociado: es diferente del mtodo de la analoga lgica, y analiza las
relaciones que se establecen entre las proposiciones por va conectiva. Permite probar de modo
concluyente la validez o invalidez de determinado razonamiento.
1 Paso: Abstraer la forma del razonamiento.
2 Paso: Construir un condicional material de modo que el antecedente est formado por la
conjuncin de las premisas y el consecuente por la conclusin.
3 Paso: Aplicar las definiciones lgicas de cada conectiva, y resolver el condicional aplicando
las tablas de verdad. El resultado del condicional ser la definicin lgica de ese razonamiento.
Si todos los resultados son V, entonces el razonamiento es tautolgico. Si hay por lo menos un V
y un F, es contingente, y si son todos falsos es contradictorio.