Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Es la disciplina que estudia la forma del razonamiento y por medio de reglas y técnicas
determina si un argumento o proposición es válido. El razonamiento lógico se emplea
en Matemáticas para demostrar teoremas, sin embargo, se usa en forma constante para
realizar cualquier actividad en la vida. La lógica es ampliamente aplicada en la filosofía,
matemáticas, física, etc.
LA PROPOSICIÓN
Una proposición o enunciado es simplemente una oración que puede tomar los valores
de ser falsa o verdadera pero no ambas a la vez. Toda proposición consta de tres partes:
un sujeto, un verbo y un complemento referido al verbo. La proposición es un elemento
fundamental de la Lógica Matemática. Las proposiciones se indican por medio de una
letra minúscula, dos puntos y la proposición propiamente dicha.
Ejemplos:
r: 2x - 3 > 7
Los enunciados p y q pueden tomar un valor de falso o verdadero, por lo tanto, son
proposiciones válidas. El inciso r también es una proposición valida, aunque el valor
de falso o verdadero depende del valor asignado a la variable x . La proposición s
también está perfectamente expresada aunque para decir si es falsa o verdadera se
tendría que esperar a que terminara el año. Sin embargo, los enunciados t y w no son
válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un
saludo y el otro es una orden.
CONECTIVOS LOGICOS
Conjunción ʌ (operador Y): Se utiliza para conectar dos proposiciones que se deben
cumplir para que se pueda obtener un resultado verdadero. Se le conoce como
multiplicación lógica y su símbolo es ʌ.
Ejemplo.
Sea el siguiente enunciado: "Voy al cine cuando hay una buena película y cuando tengo
dinero " Sean:
p: Voy al cine.
q: Hay una buena película.
r: Tengo dinero.
De tal manera que la representación del enunciado anterior usando simbología lógica
es como sigue:
p=qʌr
PROPOSICI CONJUNCIÓ
ONES N
q r pʌr
V V V
V F F
F V F
F F F
En la tabla anterior el valor de q=V significa que hay una buena película, r=V significa
que tengo dinero y p=q ʌ r=V significa que voy ir al cine. Se puede notar que con
cualquiera de las dos proposiciones que valga falso implica que no asisto al cine.
Ejemplo.
Sea el siguiente enunciado: “Para viajar a Chile puedo ir por via terrestre o tomar un
vuelo directo”
Sean:
p: Viajar a Chile.
q: Ir por vía terrestre.
r: Tomar un vuelo directo.
PROPOSICI DISYUCIÓN
ONES
q r p˅r
V V V
V F V
F V V
F F F
En esta tabla el valor de q=V significa ir por vía terrestre, r=V significa tomar un vuelo
directo y p=q ˅ r=V significa viajar a Chile. Se puede notar que con cualquiera de las dos
proposiciones que valga V (verdadero) implica que viajo a Chile.
Negación ˜ (operador No) Su función es negar la proposición. Esto significa que sí alguna
proposición es verdadera y se le aplica el operador “no” se obtendrá su negación (falso)
y viceversa. Este operador se indica por medio del símbolo˜.
Ejemplo.
PROPOSICI NEGACIÓN
ONES
p q ˜p ˜q
V V F F
V F F V
F V V F
F F V V
PROPOSICIONES CONDICIONALES
Una proposición condicional, es aquella que está formada por dos proposiciones simples
(o compuesta) p y q. Se indica de la siguiente manera:
Ejemplo.
Un profesional dice "Si ahorro me podré comprar una casa en tres años”. Una
declaración como esta se conoce como condicional.
Sean:
p: Ahorro.
p q p →q
V V V
V F F
F V V
F F V
PROPOSICIÓN BICONDICIONAL
Ejemplo.
Sea el siguiente enunciado: "Un ciudadano puede sufragr, si y sólo si, tiene DNI del
elector" Donde:
p q p ↔q
V V V
V F F
F V F
F F V
La interpretación de los resultados de la tabla es la siguiente:
Cuando p=V significa que un ciudadano puede sufragar y q= V que tiene el DNI del
elector, al ser esto cierto, p→q = V. Cuando p= V y q=F significa que p→q = F, un
ciudadano puede no sufragar, ya que no posee el DNI electoral. Cuando p= F y q= V
significa que un ciudadano no puede sufragar aunque tenga el DNI, esto es que p→q =F.
Cuando p= F y q= F se interpreta como que ni puede sufragar ni DNI electoral, por lo
tanto es cierto p→q = V.
Tautología es aquella proposición (compuesta) que es cierta para todos los valores de
verdad de sus variables. En las tautologías para todos los valores de verdad el resultado
de la proposición es siempre verdad. Las tautologías son muy importantes en Lógica
Matemática ya que se consideran leyes en las cuales se puede apoyar para realizar
demostraciones.
Contradicción es aquella proposición que siempre es falsa para todos los valores de
verdad, una de las más usadas y más sencilla es pʌp’. Como lo muestra su
correspondiente tabla de verdad.
Bibliografía