La LGICA es la rama de la filosofa que se encarga de estudiar los razonamientos con el fin de determinar cules

razonamientos son vlidos y cules no. Los RAZONAMIENTOS, a su vez, son estructuras lingsticas que constan de
proposiciones: entre estas algunas funcionan como premisas y otras como conclusiones. Las PREMISAS son las
proposiciones con las cuales intentamos dar sustento a las conclusiones de nuestro razonamiento. No es lo mismo
decir no toques eso que decir no toques eso, porque tiene electricidad. En este ltimo caso hemos dado una buena
razn mediante la cual indicamos que es conveniente no tocar tal o cual cosa. La CONCLUSIN, por su parte, es
aquella proposicin que queremos afirmar, o negar.
Un razonamiento es vlido cuando nos garantiza, por su propia estructura formal, que si tengo premisas verdaderas,
tendr necesariamente una conclusin verdadera .
Una PROPOSICIN es un enunciado lingstico que tiene una funcin informativa y que, eso mismo, podemos evaluar
como verdadero o como falso.
3. Formalizaciones
Para formalizar proposiciones necesitamos 3 elementos:
1VARIABLES PROPOSICIONALES: p, q. r, s, t;
2CONECTIVAS LGICAS: negacin, conjuncin, disyuncin, condicional y bicondicional; y
3SEPARADORES GRFICOS: parntesis, corchetes y llaves.
La FORMALIZACIN de una proposicin cualquiera se hace en tres pasos.
1) IDENTIFICAMOS LAS PROPOSICIONES SIMPLES, es decir, cules son las unidades mnimas de sentido del
enunciado a formalizar. Por ejemplo, si la frase fuera Juan corre y Mara espera, sabemos que esta proposicin
compuesta (o molecular) puede dividirse en dos proposiciones simples, que son (a) Juan corre y (b) Mara espera.
2) Despus de que identificamos las proposiciones simples, realizamos el segundo paso: debemos escribir un
DICCIONARIO en el cual a cada proposicin simple le asignamos una variable proposicional. Siguiendo con el ejemplo
anterior, Juan corre tendr asignada la variable proposicional p y Mara espera tendr asignada la variable
proposicional q.
3) El ultimo paso consiste en IDENTIFICAR EL TIPO DE CONECTIVA LGICA que tenemos que formalizar. En
nuestra frase se trata de la conjuncin, que aqu aparece expresada como y.
La formalizacin final ser: p ^ q
Dijimos que un RAZONAMIENTO VLIDO es aqul que me garantiza, por su propia estructura formal que SI tengo
premisas verdaderas entonces tendr, NECESARIAMNENTE, una conclusin verdadera.
SI se diera el caso de tener premisas verdaderas (pero no se dice que lo sean efectivamente), entonces un
razonamiento formalmente vlido nos dar la GARANTA de que la conclusin tambin ser verdadera (eso s,
insistimos: siempre y cuando las premisas sean verdaderas)
LO NICO que invalidara a una forma de razonamiento es que tengamos premisas verdaderas y una conclusin falsa,
lo que ocurre es lo siguiente: un razonamiento vlido puede tener (a) premisas falsas y conclusin falsa; (b) premisas
falsas y conclusin verdadera o (c) premisas verdaderas y conclusin verdadera. Pero no puede tener (d) premisas
verdaderas y conclusin falsa.
La verdad tiene que ver con la relacin LENGUAJE-MUNDO: si yo digo est lloviendo, y miro afuera y efectivamente
llueve, entonces diremos que la proposicin es verdadera. Por qu? Porque lo que afirma el lenguaje se ve
confirmado por el estado de cosas del mundo: hay correspondencia.
Pero la validez, en cambio, tiene que ver con la relacin LENGUAJE-LENGUAJE o, si se quiere, con la relacin
PENSAMIENTO-PENSAMIENTO. Y no hace al contenido sino a la forma.
La lgica nos provee un mtodo sencillo para poder averiguar si un razonamiento es vlido. Se llama MTODO DEL
CONDICIONAL ASOCIADO y consiste en realizar la aplicacin de las tablas de verdad.
TABLAS DE VERDAD
Al formalizar lo que hacemos es simbolizar una proposicin del lenguaje natural con una variable proposicional (p, q,
r). Una vez que lo hacemos, ya dejamos de preocuparnos por el contenido de la proposicin: tan slo nos
preocuparemos por su estructura formal.
Es importante entender que, sea cual sea la idea que estemos formalizando con la variable p, slo caben dos
posibilidades lgicas: o bien que p sea verdadera, o bien que p sea falsa. No hay ninguna otra posibilidad. Por eso,
la tabla de verdad de p es muy sencilla. Hay tan slo dos posibles valores de verdad: V o F.
P
V
F
La tabla de verdad de la NEGACIN, aunque en principio parece rara, veremos que es algo batsante obvio.
P
P
F
V
V
F
La tabla de verdad de la CONJUNCIN es la siguiente
P

V
F
V
F

V
F
F
F

V
V
F
F

Naturalmente, en una conjuncin necesitamos que se den tanto uno como el otro elemento del enunciado para poder
decir que la proposicin molecular es verdadera. La nica manera de que la oracin Juan canta y Mara baila sea
verdadera es que las dos proposiciones simples sean verdaderas.
La tabla de verdad de la DISYUNCIN INCLUSIVA es
P
V
F
V
F

Q
V
V
V
F

V
V
F
F

Si dos proposiciones se relacionan por una disyuncin (de tipo inclusiva), la proposicin molecular en cuestin slo
ser falsa si no tenemos afirmados (V) ninguna de las proposiciones particulares. Las oraciones que reflejan este tipo
de disyunciones suelen enfatizar la disyuncin con formulas tales como tal cosa y tal otra o tal cosa y/o tal otra.
La tabla de verdad de la DISYUNCIN EXCLUSIVA es
P
w
Q
V
F
V
F
V
V
V
V
F
F
F
F
La diferencia con la disyuncin inclusiva se debe a que ac estamos afirmando que tan slo puede darse uno de los
dos elementos pero no los dos, es decir que slo podemos tener afirmada una (y slo una) de las proposiciones en
cuestin.
La tabla del CONDICIONAL quiz sea la ms difcil de comprender a simple vista. Pero es tambin la ms importante,
ya que gracias a este condicional es posible aplicar las tablas de verdad a un razonamiento.
P
Q
V
V
V
F
V
V
V
F
F
F
V
F
Primero que nada, debemos tener en cuenta que lo que nos dice el condicional como relacin lgica es que SI se da
p entonces se da necesariamente q. Es decir que en caso de que se de efectivamente el antecedente (p) se dar
de manera necesaria el consecuente (q).
Entonces, como vemos, la nica manera de que un condicional sea falso (F) es si se da el antecedente pero no se da
el consecuente. En todos los dems casos, su valor es V.
La tabla de verdad del BICONDICIONAL es la siguiente
P

V
F
V
F

Q
V
F
F
V

V
V
F
F

La relacin del condicional quiere decir que si se da p entonces se da q y, viceversa, que si se da p entonces se da
q. En este caso, p y q son tanto antecedentes como consecuentes de esa relacin, las dos cosas al mismo
tiempo.
la lgica se encarga de estudiar el razonamiento. Hemos dicho tambin que el razonamiento est compuesto de
proposiciones en las cuales unas funcionan como premisas y otras como conclusiones. Sabemos tambin que un
razonamiento lgicamente valido nos permite estar seguros de lo siguiente: SI tenemos premisas verdaderas, entonces
tendremos una conclusin verdadera. Es decir que, en un razonamiento correcto, se conserva la verdad de las
premisas a la conclusin; y esta una caracterstica muy importante para la ciencia.
Retomemos el razonamiento que, como adelantamos, es un razonamiento correcto:
Premisa 1: Si Juan estudia, entonces Juan aprueba
Premisa 2: Juan efectivamente estudia
Conclusin: Juan aprueba
Lo primero que tenemos que hacer, obviamente, es formalizarlo. Para eso nos preguntamos cuntas proposiciones
simples hay en tese razonamiento. Respondemos que hay dos: Juan estudia y Juan aprueba. Luego, hacemos el

diccionario. Claramente, necesitamos dos variables proposicionales, por caso p y q. Por ltimo, lo ms importante:
debemos entender cmo se formaliza un razonamiento como ste, el cual tiene dos premisas y una conclusin.
Decir Si Juan estudia entonces aprueba es plantear una relacin de condicional entre dos proposiciones simples, es
decir p q. La segunda premisa, la que nos dice Juan estudia, se formaliza poniendo simplemente p. Y la
conclusin, evidentemente, es q (Juan aprueba).
Lo segundo es tomar en cuenta de que en el mtodo del condicional asociado vamos a trabajar con las tablas de
verdad. Por eso pondremos en un mismo rengln la primera de las premisas (p q), y luego, al lado conectando con
una conjuncin, la segunda de las premisas p; por ltimo, conectando con un condicional, la conclusin q.
Quedara entonces:
[(p q) p] q
Una vez realizada la formalizacin debemos resolver las tablas de verdad de las premisas y luego pasar a la
conclusin.
(1) resolvemos la tabla de verdad de p q
(2) lo que resulte de all, lo relacionamos con p, mediante la conjuncin.
(3) y ese resultado lo relacionamos con la conclusin, q, en base al condicional.
[(p

1
2
q) p ]
V
V
F
V
V
F
F
V

V
V
F
F

q
v
f
f
f

V
F
V
F

V
V
V
V

V
V
F
F

Como vern, el resultado de esta operacin, en este caso, es el de obtener todas V. Eso quiere decir que este es un
razonamiento vlido, porque es TAUTOLGICO.
Existen razonamiento que son CONTINGENTES, en los cuales en vez de todas V, vamos a encontrar como resultado
tanto V como F. Y otros que son CONTRADICTORIOS, en los cuales slo obtendremos F por resultante.