Clase de Filosofía y Lógica Jurídica.

Lógica Proposicional.
Se define la lógica como:
La disciplina que estudia las condiciones de validez de la inferencia o relación de consecuencia lógica, es “la ciencia que
establece las reglas para distinguir los razonamientos correctos de los razonamientos incorrectos”.
Esa es una definición amplia que abarca dos grandes divisiones: por un lado esta la lógica informal que realiza el estudio
de las falacias lógicas y de los razonamientos no deductivos y por otro lado tenemos la lógica formal, dentro de esta
lógica se estudia precisamente la lógica proposicional.
El objeto de esta lógica proposicional: es la proposición, los elementos de la lógica son por un lado: los términos, las
proposiciones, y los razonamientos, en este caso nos centramos en la relación de las proposiciones entre si.
Se va a ver que, dentro de las oraciones que usamos en el lenguaje natural, hay algunas oraciones que son significativas, a
estas nosotros le llamamos enunciados: dentro de la clase de enunciados a la lógica le preocupa una clase de enunciados,
que son los enunciados descriptivos:
“es decir aquellos que describen algún hecho o describen determinados estados de cosas, los cuales son expresiones de un
contenido significativo que son las proposiciones, por tanto, se puede decir, que las proposiciones son el contenido
significativo de enunciados descriptivos, por estar vinculados a un uso del lenguaje en particular.
Nosotros sabemos que las proposiciones se refieren a un uso informativo del lenguaje, para distinguirlos de otros usos del
lenguaje como pueden ser el prescriptivo, el emotivo y el puramente expresivo, es decir:
Cuando nosotros usamos el lenguaje del cual se describen determinados estados de cosas, un hecho, nosotros podemos
ver si esa proposición corresponde con la realidad, si hay correspondencia con la realidad decimos que la proposición ha
sido verdadera, por ejemplo si nosotros dijeramos que:
“Todos los cuervos son blancos”.
Deberíamos decir que esa proposición seria verdadera solamente en el caso en que efectivamente en la realidad todos los
cuervos fueran blancos, por tanto al describirlo en la realidad podemos ir a los hechos para comprobar si es verdadero o es
falso, no podemos hacer lo mismo con una orden, una orden podrá ser justa o injusta, valida o invalida, pero no será
verdadera o falsa, de la misma manera una interrogación, si realizamos una pregunta, por ej. ¿Llueve hoy? Esto no es ni
verdadero, ni falso, la pregunta, si la contestación; otra cosa si nosotros exclamamos alegría si, o asombro, esto no es
verdadero ni falso, entonces el ámbito de la lógica se va a restringir, a estos enunciados que son descriptivos, y hay que
hacer una distinción entonces, entre el contenido significativo que le llamamos coposesión, y la expresión que llamamos
enunciados, ¿Por qué?
Porque nosotros podríamos utilizar expresiones en distintos idiomas, por ej. Nosotros podríamos utilizar el idioma ingles
para la expresión estoy aburrido o el lenguaje francés que también dijera que estoy aburrido, sin embargo en cualquiera de
este tipo de expresiones lo importante es que se va a tratar de la misma proposición que cuando decimos en castellano,
estoy aburrido, si, los enunciados se independizan, la expresión se independiza del contenido, entonces lo que le va a
interesar a la lógica, es este contenido significativo, y lo que vamos a hacer, el tratamiento que va a ser la lógica formal,
de esta clase de proposiciones, es abstraer, no le interesa el contenido en si mismo, por el contenido que tenga que ver con
la realidad, sino las relaciones que las proposiciones tienen entre si, por tanto va a utilizar una técnica que va a ser la
formalización. Vamos a la próxima placa.
Formalización de las Proposiciones.
La lógica simbólica trabaja sobre el lenguaje natural, pero como quiere evitar las ambigüedades y las vaguedades de ese
tipo de lenguaje va a utilizar abstracciones, y va a utilizar para las proposiciones lo que se llama variables
proposicionales, cada proposición va a poder ser utilizada con una variable, en este caso utiliza habitualmente las letras p,
q, r, s, t, w, z, por ejemplo si yo digo la frase:
“Todos los Jueces son honestos”, esto es una proposición que es susceptible de ser verdadera o falsa, y nosotros lo
podemos simbolizar con la letra p, mas adelante se vera como se formalizan las conectivas: es decir aquellas variables que
permiten la relación entre dos proposiciones entre si.
A la lógica proposicional simbólica, le interesa una distinción que hay entre, proposiciones atómicas y proposiciones
moleculares, antes veíamos que la frase por ej. “el sistema carcelario esta colapsado”, uno podía decir que era verdadero o
falso, este enunciado no esta relacionado con otros enunciados, si, por lo tanto, nosotros, a eso le llamamos proposición
atómica, es decir, la proposición en el cual esta simbolizada con una sola variable, y que no esta conectada con otros
conectores diádicos como puede ser una conjunción, una disyunción, un condicional y bicondicional, o decimos que no
esta alterado por un conectivo monadico como puede ser la negación, entonces al ej. Que hemos dado simbólicamente le
podemos poner la letra p.
Proposiciones Moleculares.
Pueden ser de dos clases:
Decimos que en un sentido conectan, dos o mas proposiciones entre si a través de determinados conectores lógicos o
conectivas lógicas, por ej. Si digo “el sistema penitenciario esta colapsado y la inseguridad crece”, ahí estoy relacionando
dos proposiciones entre si. ¿Cómo voy a formalizar esta proposición molecular?
Le pondré una variable a la primera proposición (le llamare p), estableceré una conectiva lógica (un símbolo para esta), en
este caso que es una conjunción le pondré un punto y luego utilizare la segunda le pondré una variable a la segunda
1
proposición, en este caso le pondré la letra q, por lo tanto simbolizadamente como vemos en la placa nos va a quedar: p .
q
Otra forma de proposición molecular va a ser la proposición atómica modificada por el conector monadico de la
negación.
En este caso, por ej: “No es cierto que el sistema penitenciario esta colapsado”. Como vamos a formalizar esta
proposición, introduciendo lo que es el símbolo de la negación antes de la variable (-p), también es cierto que la negación
podría ser tanto utilizada frente a una sola proposición o frente a un conjunto, a una proposición molecular por ej., el caso
que dábamos antes de p y q, podríamos establecer un corchete que señalara que todo esto es una proposición molecular y
negarlo, en ese caso la negación no solo entonces afecta a una variable, sino que afecta a un compuesto molecular.
Otra de las herramientas que tiene la lógica proposicional es justamente, los corchetes, estos me permiten saber cuando
termina una proposición molecular, y cuando esta conectada con otras proposiciones moleculares, hemos visto entonces
que hay varias cosas importantes, el concepto de variable proposicional para simbolizar proposiciones, el de conectivas
lógicas que permiten unir variables proposicionales entre si, y por otro lado esto que se llama símbolos auxiliares como el
corchete y la llave que nos permiten separar proposiciones moleculares entre si , esto va a ser una especie de lengua,
entonces Guibourg lógica proposicional de norma habla de formula lógica y dice ¿Cuándo me presento frente a una
formula lógica?
Cuando algo esta escrito en la lengua de la lógica, esto es utiliza variables lógicas, conectivas lógicas, y símbolos
auxiliares de la lógica, frente a eso, estamos frente a una formula lógica, ahora bien, habíamos adelantado que lo que nos
interesa son las conexiones entre las proposiciones, vamos a ver en el cuadro que sigue las distintas forma de conectivas
lógicas.
Con la Lógica Proposicional se suscribe, a una forma del lenguaje mas abstracto, hay un grado mayor de abstracción, para
decir: Todo Hombre es Mortal, directamente lo voy a graficar con una consonante, que por convención se empieza por la
p en minúscula, quiere decir Todo Hombre es mortal, en el caso de la Lógica Proposicional puede utilizar directamente p,
FIJATE:
Todo Hombre es mortal.
Lógica Proposicional------------p
Para la Lógica Proposicional nosotros vamos a necesitar, tres cosas, la primera de las cosas que tenemos que tener
presente es ¿que son las variables proposicionales?, cada variable proposicional esta graficando una oración:
Juan usa bigote. p
Diego es petiso. q
(cada juicio se va a graficar con una consonante en minúscula, eso correspondería a las variables proposicionales).
Variables proposicionales
.
.
.
Pqrs
La otra cosa que necesitamos para esta Lógica Proposicional son los:
signos auxiliares
Estos signos auxiliares sirven en las ecuaciones matemáticas y te indicaban por donde tenias que comenzar a resolver el
ejercicio primero los paréntesis ( ), las llaves {,y finalmente lo que estaba en las barras, quiere decir entonces que los
signos auxiliares cumplen como única función indicarte por donde se debe comenzar a resolver el ejercicio.
Finalmente tenemos las conectivas, lo que tienden es a conectar, y van a conectar los distintos juicios, las distintas
variables proposicionales, por ej. si yo te digo como el ej. de recién:
“Juan usa bigotes y Pedro es petiso”
En ese caso se trata de dos juicios y están unidas por una conectiva, en nuestro caso seria una conjunción, pero veamos
cuales son las conectivas y en definitiva como se resuelven. FIJEMOSNOS:
CONECTIVA SIGNIFICADO SIMBOLOS SIMBOLOS PROPOSICION
ALTERNATIVOS MOLECULAR
NEGACION “no es cierto” “no es el -p -p
caso que”
CONJUNCION “y”,“,” “pero”, “aunque” p.q (p.q)

DISYUNCION “o”, “o ambas a la vez” pvq (p v q)

INCLUSIVA
DISYUNCION “o bien se da una cosa o la p q Pwq (p w q)
EXCLUYENTE otra, pero no ambas a la P –q
misma vez” v
CONDICIONAL “Si…entonces” p q (p q)
p q
2
BICONDICIONA …si y solo si… p q p=q o p q (p=q)
L

1era Conectiva. (p. q)

En el lenguaje natural, se representa cuando dos proposiciones están unidas a través de un “y”, una “,” un “pe
“aunque”, y bajo el sistema de Guibourg se señala como p.q, se hace un pequeño punto y tenemos la conjunció
ambas variables, también se suele utilizar un (p.q).
Es la conjunción, la conjunción en algunos casos se traduce como y en algunos casos se traduce como p
conjunción se la va a graficar con un . (punto). En el caso de la formula molecular p y q por ej., yo te puedo
ejemplo de:
Juan es cordobés y Diego es mendocino. (p.q)
Esa formula molecular va a ser verdadera cuando tanto p como q sea verdadero: Juan tiene que ser cordobés y
tiene que ser mendocino, entonces p y q va a ser verdadero cuando ambas variables proposicionales lo sean, y a
breve paréntesis, TE ACONSEJO que no trates de memorizar las reglas, trata de buscar el sentido, si vos la raz
salen solas.
TABLA DE LA CONJUNCION.
p q (p . q)
V V V
F V F
V F F
F F F
La tabla de verdad, lo que se espera de una proposición molecular así compuesta, es que ambas partes sean verd
es decir, cuando yo tengo la tabla de la conjunción, esos enunciados compuestos van a ser verdaderos siempre y
cada una de sus partes sean verdaderas:
En el caso del sistema carcelario, nosotros sabemos que “el sistema carcelario esta colapsado y la inseguridad cre
este caso solamente será verdadero en el caso en que ambas proposiciones atómicas sean verdaderas.

2da Conectiva. Disyunción Incluyente. (p v q) la formula proposicional se va a graficar como si fuera una v corta.
En el lenguaje natural esto esta simbolizada como o hacemos tal cosa, o tal otra, es decir, hay que hacer una
interpretación del lenguaje natural, es decir que siempre que estemos frente a una disyunción inclusiva, quiere decir, que
se dan dos opciones, pero podría ser que ambas se dan en la realidad, ahora nos vamos a centralizar sobre todo en la
simbolización, la disyunción inclusiva generalmente se simboliza como p v q.
Se traduce como una o, que deja abierta la posibilidad que puedan darse las dos variables proposicionales, por ej. el
sábado iré a cenar o iré al cine, nada impide que el sábado vayas a cenar o vayas al cine, o si vos decís en el turno de
diciembre rendiré DIPNI o FLJCA, podes rendir las dos, no se excluyen las posibilidades, entonces disyunción
incluyente es una o pero que deja abierta la posibilidad que se den las dos variables proposicionales, es decir, que se den
los dos términos de la disyunción que pueden darse sin ningún inconveniente, y vamos a decir que p o q va a ser
verdadera, CUANDO ESCUCHA: Al menos aunque sea una verdadera, puede ser una o las dos, con que una sea
verdadera, ya la formula proposicional automáticamente se torna verdadera, el único caso en que es falsa la tabla de
verdad, es en el caso que p y q sean falsas.
TABLA DE LA DISYUNCION INCLUSIVA.
P Q (P V Q)
V V V
F V V
V F V
F F F
Disyunción Excluyente. (p q) (es una v dada vuelta).
Aquí se excluyen las posibilidades, por ej. vivo o muerto, por ej. varón o mujer, por ej. Juan es cordobés o mendocino,
una posibilidad excluye la otra, quiere decir que las dos disyunciones si bien es cierto que se traduce como una o, vos
tenes que saber que en la excluyente una opción deja de lado a la otra. La regla de la disyunción excluyente te va a decir
que p o q va a ser verdadera, cuando entre p y q haya diferentes grados de verdad, quiere decir que necesariamente uno
debe ser verdadero y el otro tiene que ser falso, si las dos son verdaderas falso, si las dos son falso también es falso.
En este caso Guibourg lo simboliza como p q, también podemos ver que se puede simbolizar como una w o una – (v
corta con una raya arriba), todas estas formas validas de simbolizar la disyunción excluyente.
TABLA DE LA DISYUNCION EXCLUYENTE.
p q (p w q)
V V F
3
 F V V
V F V
F F F

Equivalencia.
Se traduce como equivalente, se grafica ≡ (p ≡ q). Como si fueran tres rayitas, también podemos utilizar mejor son p=q
o p q.
En los textos, se puede encontrar la equivalencia como bi-condicional, equivalencia te tiene que dar a vos una pista de
como se resuelve esta formula proposicional, QUIERO ADVERTITE QUE, esta regla es en la cual se comete mayor
cantidad de errores, POR LO TANTO, TE PIDO QUE PRESTES UNA ATENCION ESPECIAL, MIRA: va a ser
verdadera cuando entre p y q haya el mismo grado de verdad, quiere decir que si las dos son verdaderas la formula
molecular va a ser verdadera, PERO ATENCION, si las dos son falsas la formula molecular también va a ser verdadera,
quiere decir que siempre que tengan el mismo grado de verdad, va a ser verdadera.
Cuando hablo del bicondicional, yo tengo que pensar que estoy hablando de una situación en donde tengo dos
condicionales unidos por una y, el bicondicional implica que hay dos opciones en que es falso tanto cuanto p es falso y q
es verdadero, como cuando q es falso y p es verdadero. Porque hay una doble implicación que va en el doble sentido, en
las únicas dos posibilidades en que el bicondicional es verdadero es cuando son ambas falsas o cuando son ambas
verdaderas, estos son los dos únicos casos en que la proposición molecular va a ser verdadera.

Condicional.
…si… entonces” (p q). es como si fuera una c dada vuelta pero como alargada.
Se traduce como: si entonces, por ej. si cae nieve entonces hará frío, si vienen turistas entonces se aumenta el producto
bruto interno, o sea hay algo que esta sometido a una condición, entonces la regla de la condicional dice que siempre es
verdadera, excepto antecedente verdadero consecuente falso, antecedente es el que esta antes del signo, si p entonces q,
cuando p sea verdadera y q sea falso, es el único caso de falsedad, todos los demás casos son necesariamente verdaderos,
la simbolización de esto también se puede hacer de esta manera: p q.
TABLA DE VERDAD DE CONDICIONAL.
p q (p q)
V V V
F V V
V F F
V F V

Negación. (proposición atómica)

Conectiva que se nos presenta en el lenguaje natural con el significado de “no es cierto” “no es el caso que”, es cuando
yo modifico una proposición determinada introduciendo esta negación antes, por lo tanto si yo dijera que “el sistema esta
colapsado” seria una proposición, si le agrego la negación seria “no es cierto que el sistema esta colapsado”, ¿esto como
se simbolizaría?. Podemos ver que el símbolo que se utiliza generalmente y que utiliza Guibourg es: un menos
introducido antes de la variable proposicional (-p), hay en otros sistemas de notación lógica, símbolos alternativos como
pueden ser: o , en este caso es indistinto, son distintas formas de simbolizar la misma conectiva de negación.
Aca vemos como quedaría la proposición “no” -: se grafica (p-q).
En este caso, la negación ya no supone hablar de una formula molecular, FIJATE: es muy fácil la negación, siempre entre
p y no p, hay diferentes grados de verdad, si p es verdadera, no p va a ser falso, si es verdad que Juan Rodríguez es
abogado, va a ser falso que Juan Rodríguez no es abogado, si uno es verdadero y el otro es falso, si uno es falso el otro es
verdadero.
Vamos a ver que la primera entonces –p.
TABLA DE LA VERDAD DE LA NEGACION.
P -P
V F
F V
“Todas son formas de simbolización de conectivos lógicos”.
Nosotros vamos a empezar a ver ahora, cuáles son las tablas de verdad de estos conectivos lógicos, decíamos que los
conectivos lógicos cuando yo tengo una proposición molecular, yo tengo que tener en cuenta dos cosas, tengo que tener
en cuenta los valores de verdad de cada una de las proposiciones atómicas que componen el compuesto molecular y

4
también, la tabla de verdad que surge de la unión de ambas, vamos a empezar por la primera de las conectivas lógicas: la
primer conectiva lógica es la negación:
Comencemos a Resolver los ejercicios.
Yo tengo esta formula proposicional.
3
2= 8
V/F
(p . q) r
Se va a resolver de la siguiente forma, al tener tres variables diferentes ((p q y r), CUIDADO: si p o cualquiera de estas
variables se repite, se cuenta como una, entonces siempre voy a poner en un costado 2, ¿Porqué? porque estoy en
presencia de una lógica bivalente (donde las posibilidades son 2), algo es verdadero o es falso y no hay otra posibilidad,
este 2 ¿a que potencia lo voy a elevar? Depende de las variables que tenga en el ejercicio, ya dije que las variables son
tres, quiere decir que este 2 lo voy a elevar al cubo, lo cual da 8, este 8 es clave porque me sirve para saber, hasta donde
yo tengo que combinar los grados de verdad y falsedad.
3
2= 8
V/F
(p . q) r
V V V F V
F F V V V
V F F V V
F F F V V
V V V V F
F F V F F
V F F F F
F F F F F
.
Siendo este que te marco aca el resultado final del ejercicio.
En este caso como hay grados de verdad y falsedad combinados estoy en frente a una contingencia.
MIRA: el primero va de uno en uno hasta llegar precisamente a 8, el segundo va de dos en dos, hasta llegar también a 8,
y el tercero duplica duplica el anterior, quiere decir que será (V V V V F F F F).
Por su parte, empiezo a resolver el ejercicio por el paréntesis, entonces tengo en cuenta el signo (conjunción), la
conjunción decía que iba a ser verdadera, cuando las dos sean verdaderas, entonces yendo al grafico: Verdadero
Verdadero es Verdadero, Falso Verdadero es Falso, Verdadero Falso Falso, Falso Falso Falso, Verdadero Verdadero
Verdadero, Falso Verdadero Falso, Verdadero Falso Falso, Falso Falso Falso.
Una vez realizado este paso, tengo el resultado del paréntesis, pero para obtener el resultado total del ejercicio, yo tengo
que resolver el resultado del paréntesis con los valores asignados oportunamente a r.
Aquí para resolver, la conectiva que voy a tener en cuenta es (disyunción excluyente), decía que era Verdadero
cuando entre los dos hubiera diferentes grados de verdad.
ENTONCES: Verdadero Verdadero Falso (porque en este caso tienen el mismo grado de verdad), Falso Verdadero
Verdadero, Falso Verdadero Verdadero, Falso Verdadero Verdadero, Verdadero Falso Verdadero, Falso Falso Falso,
Falso Falso Falso, Falso Falso Falso. Frente al resultado final del ejercicio, caben tres posibilidades:
Si te da todo Verdadero: estoy en presencia de una Tautología. Tauto, quiere decir lo mismo.
Si te da todo Falso los grados de verdad: estoy en presencia de una contradicción.
Si te da algunos grados de verdad y otros de falsedad: estoy en presencia de una contingencia.
VAMOS A RESOLVER OTRO EJERCICIO.
3
2=8
( p ≡ q ) v ( p . r)
V V V V V V V
F F V F F F V
V F F V V V V
F V F V F F V
V V V V V F F
F F V F F F F
V F F F V F F
F V F V F F F
.
.
Resultado Final del Ejercicio.
5
Para resolver este ejercicio, lo primero que hago es: poner 2 (porque es una lógica bivalente), al tener tres variables p q r,
(fijate que p se repite dos veces, la cuento como una), tengo tres, entonces dos al cubo que me da 8: entonces el primero
de uno en uno, la segunda variable que aparece va de dos en dos, FIJATE vuelve aparecer p, pero yo ya le había asignado
grados de verdad, yo había dicho que p se combinaba de uno en uno, quiere decir que en el caso de p tengo que volver a
repetir, r repite, duplica el anterior que había aparecido, si q que es el anterior va de dos en dos, esta va de cuatro en
cuatro.
Lo que tengo que hacer: es resolver el primer paréntesis, resolver el segundo paréntesis, y los dos resultados combinarlos
según esta disyunción incluyente para obtener así el resultado final, el signo del primer paréntesis ≡ (equivalencia): que
era verdadero cuando los dos tuvieran el mismo grado de verdad. Segundo: tengo que combinar el segundo paréntesis
para obtener el resultado parcial del ejercicio, FIJATE que es una conjunción: que es verdadero cuando las dos lo son.
Ahora voy a a operar los dos resultados finales con esta que es la disyunción incluyente.
En este caso como hay grados de verdad y falsedad combinados estoy en frente a una contingencia.
Otro Ejercicio.
2
2= 4
( p ∧ - p ) ≡ ( q ∧ -q)
V V F V V V F
F V V V V V F
V V F V F V V
F V V V F V V
. . .
. . .
Resultado .
Parcial . Resultado
. Parcial
del 1er .
Paréntesis . del 2do
. Paréntesis
.
RESULTADO FINAL DEL EJERCIO.
En este ejercicio, aparece por primera vez el tema de no p, tengo esta formula proposicional:
Lo primero que hago es colocar 2 (porque se trata de una lógica bivalente con dos únicas posibilidades, algo es verdadero
o algo es falso); en este ejercicio tengo solamente dos variables, (p y q), solamente dos, que voy a elevar este dos al
cuadrado, que me da 4.
Este 4 sirve, en definitiva para saber hasta donde tengo que combinar los grados de verdad y falsedad, el primero de uno
en uno.
Fijate en el Grafico dice –p (no p), quiere decir que a p yo ya le había asignado que va de uno en uno, -p (no p) también
tiene que ir de uno en uno, pero cuando p es Verdadero –p (no p) va a ser falso, quiere decir que la no combinación de –p
(no p) va a ser falso, verdadero, falso, verdadero, para asignar valor a q si p va de uno en uno, q va ir de dos en dos, Fijate
en el grafico: q V V F F, -q F F V V.
Ahora lo que debo hacer: es resolver el primer paréntesis, luego resolver el segundo paréntesis para obtener desde esta
perspectiva el resultado final del ejercicio, FIJATE este es una disyunción excluyente que te va a decir que es verdadero
cuando tengo diferentes grados de verdad, por lo tanto (Grafico).
Ahora tenemos que resolver, el segundo paréntesis, VAMOS AL GRAFICO, Veamos que pasa ahora cuando lo resuelvo
según la equivalencia cuando dice que es verdadero cuando hay igual grado de verdad.
Te recuerdo que, cuando el resultado final arroja todos grados de verdad, son todos verdaderos, estoy en presencia
Tautologia, que es el caso de ahora.
Si arroja todos resultados falsos estoy en presencia de una contradicción.
Si combino grados de verdad y de falsedad estoy en presencia de lo que se llama una contingencia.
Otro Ejercicio.
p v -p
V V F
F V V
.
.
Tautológica
Otro ejercicio.
2
2 =4
[ (p q) . p] q
6
 V V V V V V V
F V V F F V V
V F F F V F F
F V F F F V F
Resultado final

Vamos a un tercer caso.

2
2 =4

Lo que tiene que quedar claro:

- en primer lugar que esta es una forma de realizar tablas de verdad y que los resultados que pueden surgir de esta tabla de
verdad pueden ser de tres maneras posibles:
a) una tautología en el caso de que toda la tabla de verdad final de verdadero, es decir que es verdadero en todos los
casos, no importa que contenido tenga cada una de las proposiciones atómicas en particular, por tanto cuando habla de
tautología habla de leyes lógicas.
b) una contradicción, cuando la tabla de verdad final son todas falsedades, entonces ahí no importa, que contenido le de
a cada una de las variables siempre será falso.
c) la contingencia es cuando la tabla de verdad final de la proposición molecular que estoy analizando da verdaderos y
falsos, en este caso decimos que depende de como sean los hechos, como sea la realidad va a hacer verdadera o bien va a
ser falsa.
Glosario.
Coherencia: Ausencia de contradicción.
Conectivos lógicos: Expresiones que conectan los enunciados simples o atómicos que forman parte de un enunciado
compuesto o molecular.
Consistencia: Esquema veritativo funcional que es verdadero para alguna interpretación de sus variables proposicionales.
Contradicción: Conjunción de la afirmación y la negación simultánea de una misma proposición.
Deducción: Proceso de obtención de un enunciado a partir de otros.
Enunciado declarativo: Es aquel que tiene una función informativa, pues afirma o niega eventos o estados de cosas del
mundo.
Lenguaje: Sistema de símbolos utilizados para la comunicación entre los seres humanos. Ley lógica: Es un enunciado, en
general molecular, que tienen la característica de ser verdadero en todos los casos, esto es, no puede ser falso. Se suele
denominar tautología.
Oración: Estructura gramatical o sintácticamente bien formada y, en consecuencia, apta para transmitir un sentido que
pueda ser calificado de verdadero o falso.
Proposición atómica: Describe un hecho o estado del mundo.
Proposición compuesta o molecular: Combinación de proposiciones atómicas, verdaderas o falsas por medio de
conectivos lógicos.
Proposición: Sentido o significado verdadero o falso atribuido a un enunciado u oración.
Regla de inferencia: Principio o regla que elabora la lógica para establecer las condiciones de validez de una relación de
consecuencia lógica.
Tautología: Esquema veritativo funcional que es verdadero para toda interpretación de sus variables o letras
proposicionales.
Variable proposicional: Símbolo o representación esquemática de enunciados o proposiciones. Verdad por
correspondencia: Verdad atribuible a una proposición atómica.