Separata de Lã Gica
Separata de Lã Gica
Separata de Lã Gica
Ejemplos:
a) Dos es mayor que cero
b) El agua hierve a 100 grados centígrados al nivel del mar.
c) Lima es la capital del Perú.
d) La embarcación trae tripulación
e) Todos los hombres son mortales.
f) La nieve es Blanca
g) El agua es necesaria para la vida.
Ejemplos
a) ¡Hola! ¿Cómo estás?
b) Alumno Chávez .... preséntese!
c) Prohibido fumar.
Ejemplos
a) Si el automóvil sufre desperfectos, entonces Luisa llegará tarde a la ciudad.
b) Ricardo no obtendrá su visa, sí y sólo si no es turista o no tiene permiso de
su trabajo.
c) Ramón Castilla fue militar y presidente del Perú.
d) Sócrates era un sabio ateniense.
Lenguaje lógico
El lenguaje lógico es un lenguaje sintáctico que estudia la estructura de las
proposiciones, estructura que está compuesta únicamente por los elementos lógicos.
Una estructura lógica es lógicamente verdadera o válida, si las proposiciones que la
componen son verdaderas independientes de sus términos con significados
fácticos.
Ejemplo. La proposición: Si todas las plantas son vegetales y todos los geranios
son plantas, entonces todos los geranios son vegetales tiene su estructura lógica
Si todos …. son …. y todos ….. son …., entonces…. son….
La inferencia es válida o lógicamene siempre y cuando los puntos suspensivos sean
llenados adecuadamente, o sea en el mismo orden que aparecen las proposiciones en
la inferencia.
Variables y constantes lógicas.- Las variables son símbolos a los que se les puede
designar contenidos, mientras que las constantes son los símbolos de los elementos
lógicos o en otras palabras son las expresiones “ o “ , “ y “ , “ si …., entonces,
… , etc.
OPERACIONES CON PROPOSICIONES
V F
F V
Ejemplo 1: Sea
Ejemplo 2: Sea
: César Vallejo es autor de “Trilce” (Verdadero)
: Es falso que César Vallejo sea autor de “Trilce” (Falso)
V V V
V F F
F V F
F F F
La conjunción de proposiciones sólo es verdadera cuando las proposiciones son
verdaderas.
En el lenguaje ordinario, hay términos como pero, sin embargo, además, aunque , no
obstante, a la vez , etc. Que también unen proposiciones y se pueden simbolizar por ,
dado que generalmente interpretan la conjunción.
V V V
V F V
F V V
F F F
La disyunción de proposiciones sólo es falsa cuando las proposiciones son falsas.
Ejemplo 1. Sean las proposiciones:
: Vamos al cine.
: Vamos al fútbol.
: Vamos al cine o vamos al fútbol.
V V V
V F V
F V V
F F F
d. Proposiciones condicionales
Son las proposiciones moleculares que se forman con el conectivo
que se simboliza por . La proposición condicional entre
es la proposición cuya tabla de verdad es la siguiente:
V V V
V F F
F V V
F F V
La proposición condicional sólo es falsa si el antecedente es verdadero y el consecuente
falso.
Resulta interesante analizar los valores de verdad de la condiconal, para lo cual nos
basaremos en un ejemplo:
Ejemplo 1.- Sean las proposiciones:
: T es un pentágono.
: T es una figura geométrica
: “Si T es un pentágono entonces T es una figura geométrica”.
Vemos que su valor es verdadero, puesto que todo pentágono es una
V V figura geométrica.
: “Si T es un pentágono entonces T no es una figura geométrica”.
Podemos darnos cuenta que su valor de verdad es falso ya que si T es
V F un pentágono necesariamente debe ser una figura geométrica.
: “Si T no es un pentágono entonces T es una figura geométrica”.
Su valor de verdad es verdadero, puesto que para ser figura geométrica
no es indispensable que sea un pentágono. (puede ser un triángulo, un
cuadrado, etc.)
: “Si T no es un pentágono entonces T no es una figura geométrica”.
Su valor de verdad resulta obvio analizarlo.
De este modo hemos podido ver que la condicional sólo es falsa si el antecedente es
verdadero y el consecuente falso.
Ejemplo 2. Siendo: : Hoy es jueves.
: Mañana es viernes.
En la proposición condicional: “Si hoy es jueves entonces mañana es viernes” no puede
darse el caso en que el antecedente sea verdadero y el consecuente sea falso, por lo tanto
la proposición condicional es verdadera.
También los término puesto que, ya que, porque, si, etc. Son conectivos
condicionales. Se caracterizan porque después de cada uno de estos conectivos está el
antecedente.
Las dos proporciones condicionales son verdaderas, pero mientras en la primera existe
una conexión entre el antecedente y el consecuente, no existe lo mismo con la segunda
proposición que en el lenguaje cotidiano difícilmente se le atribuiría significado. Para
caracterizar esta situación, decimos que la lógica contemporánea usa la CONDICIONAL
en sentido material, o simplemente usa CONDICIONES MATERIALES; esto se opone
al uso de la condicional en sentido formal o condicional formal, caso en que la presencia
de una cierta conexión formal entre el antecedente y el consecuente es una condición
indispensable para que la condicional tenga sentido y para que sea verdadera.
El concepto de condicional formal no es, quizá, suficientemente claro, pero, en todo caso
es más estrecho que el de implicación material: Toda condicional formal con significado
y verdadera es una condicional material con significado y verdadera, pero lo recíproco no
es cierto.
e. Proposiciones Bicondicionales
Son aquellas que se forman con el conectivo “si y sólo si” que se simboliza . Se
puede decir también que una proposición bicondicional está definida como la conjunción
de una implicación y su recíproca. Simbólicamente:
V V V V V
V F F V F
F V V F F
F F V V V
Las proposiciones bicondicionales sólo son verdaderas si sus componentes son a la vez
ambas verdaderas o falsas.
Ejemplo 1. Sean las proposiciones:
: Es un triángulo.
: Tiene tres las lados.
: Es un triángulo si sólo si tiene tres lados.
Es una proposición verdadera puesto que si es verdadera, debe serlo también ; y si
es falsa debe serlo también .
Ejemplo 2. Sean las proposiciones:
: Es peruano.
: Es chimbotano.
: Es peruano si y sólo si es chimbotano.
Es una proposición falsa , ya que puede darse el caso en que sea verdadera, y sea
falsa. Es decir que hay personas que son peruanas y no son chimbotanas (pueden ser de
cualquier otra ciudad del país).
Simbolización de proposiciones y el uso de signos de agrupación
Simbolizar una proposición significa remplazar cada proposición por una variable
proposición, y cada constante lógica por su correspondiente símbolo. Los signos de
agrupación (paréntesis, corchetes, llaves, etc.) se utilizan en la simbolización para evitar
la ambigüedad en las fórmulas. Sin los signos de agrupación las fórmulas que expresan
una proposición molecular hasta carecerían de sentido. No obstante es necesario
mencionar que hay autores que le dan una jerarquía a los conectivos lógicos para evitar
el uso de los signos de agrupación.
Ejemplo:
Las leyes de la mecánica son exactas si Newton dijo la verdad, si y sólo si el movimiento
no es relativo.
Asignemos variables a las proposiciones simples:
Las leyes de la mecánica son exactas =
Newton dijo la verdad =
El movimiento es relativo =
Y simbolizando la proposición :
V V V V V
V F F F V
F V V F V
F F V F V
Observamos que se trata de una tautología puesto que los valores de verdad del
conectivo principal son siempre verdaderos en forma independiente de las
combinaciones de valores de verdad de las proposiciones componentes.
V V F F
F F F V
Ejemplo 2. Para comprobar si la proposición es una
contradicción, bastará elaborar su tabla de verdad.
V V V F F F F
V F F F F V V
F V F F V V F
Cuando en F
el operador
F principal de Fun esquema
F molecular
V hayV por
V lo menos una verdad
y una falsedad, se dice que tal esquema es consistente.
Ejercicio
Por medio de la tabla de verdad, determine si es consistente, tautológico o contradictorio
cada uno de los siguientes esquemas moleculares:
1.
2.
3.
4.
5.
Equivalencia de proposiciones
Dos proposiciones moleculares o esquemas, por ejemplo A y B, son equivalente cuando
unidos por el conectivo bicondicional el resultado es una tautología, esto es
, es obvio que si A es equivalente a B, B también es equivalente a A.
V V V V V
V F V V V
F V F V F
F F V V V
Lo anterior se puede expresar, en general para dos proposiciones y como una ley
llamada condicional, que expresa como:
En el caso que se tuviera más de dos esquemas, para determinar la equivalencia entre
ellos; se procede relacionando de dos en dos todas las posibles combinaciones.
Ejercicio
En cada grupo de esquemas o proposiciones que damos a continuación, determinar los
que son equivalentes:
1. A= , B=
C=
2. A = Si Carmen aprobó los exámenes de admisión, ingresó a la
Universidad.
B = No es el caso que Carmen apruebe los exámenes de admisión y
no ingrese a la Universidad.
C = Si Carmen no ingresó a la Universidad, entonces no aprobó los
exámenes de admisión.
3. A = Si Bolívar nació en Venezuela, no tuvo problemas de
nacionalidad y luchó a favor de los patriotas.
B = Bolívar no tuvo problemas de nacionalidad si nació en
Venezuela y si nació en Venezuela entonces luchó a favor de los
patriotas.
C = Bolívar luchó a favor de los patriotas porque tuvo problemas
de nacionalidad y no nació en Venezuela.