Documentos de Académico
Documentos de Profesional
Documentos de Cultura
matemática
Delia Peña
Operadores
Hay tres clases:
Aritméticos
Comparación
Lógicos
Operadores lógicos
LLAMADOS TAMBIÉN CONECTIVOS LÓGICOS EN
PROPOSICIONES COMPUESTAS
Existen conectivos u operadores lógicos que permiten
formar proposiciones compuestas, es decir, formadas por
varias proposiciones.
En el lenguaje común utilizamos
proposiciones más complejas, por lo que
es necesario definir sus nexos.
A estos se los denomina conectores u
operadores lógicos.
Negación(operador not)
Definición y ejemplos
Su función es negar la proposición.
Esto significa que si alguna
proposición es verdadera y se le
aplica el operador not se obtendrá
su negación (falso) y viceversa.
Este operador se indica por medio
del símbolo: ’ , ~ ,¬.
• Sea a una proposición y la negación de a, representada
simbólicamente por ¬a, es una nueva proposición. El
operador cambia el valor de verdad de la proposición:
Si se tiene la proposición:
a: Tengo un billete de veinte
dólares.
La negación de a es:
¬a: No tengo un billete de
veinte dólares.
Si se tiene la proposición:
b: No quiero hacer la excursión.
La negación de b es:
¬b: Quiero hacer la excursión.
• Exprese las negaciones de las siguientes proposiciones.
(a) p: "2+2 = 4“
~p es la proposición "no es cierto que 2+2 = 4," o más
sencillamente, ~p: "2+2 4."
(b) q: "1 = 0“
~q: "1 0."
a ∧ b: Obtengo buenas
calificaciones y gano un certificado
de honor.
Si se tienen las proposiciones:
a ∨ b: Tengo un libro de
matemáticas o uno de
anatomía.
p q pq
0 0 0
0 1 1
1 0 1
1 1 1
a: Estoy en Cuenca.
b: Estoy en Guayaquil.
La disyunción exclusiva entre a y b es:
La recíproca: b→a
La contrarrecíproca: ¬b→¬a.
La inversa: ¬a→¬b
A partir de la siguiente
proposición:
Inversa: Si no es un
Recíproca: Si es un
medio de transporte,
autobús, entonces no
entonces es un es un medio de
autobús. transporte.
Contrarrecíproca: Si no es
un medio de transporte,
entonces no es un
autobús.
Cabe recalcar que una proposición puede
ser reemplazada por su contrarrecíproca sin
que se afecte su valor de verdad, lo cual no
se cumple con la inversa o la recíproca.
Bicondicional
Definición y ejemplos
Este operador también se lo conoce como doble
implicación y se representa simbólicamente por a↔b.
Esta proposición bicondicional será verdadera cuando
los valores de verdad de ambas proposiciones sean
iguales.
Cabe recalcar también que será falsa cuando los
valores de verdad de ambas proposiciones sean
diferentes.
Dadas las proposiciones:
a: María es doctora.
b: Roberto es ingeniero.
Aplicando la regla de adjunción
a las dos proposiciones:
a ∧ b: María es doctora y
Roberto es ingeniero.
Modus Ponens
(MP)
Definición y ejemplos
Modus Ponens (MP)
a: María es doctora.
b: Roberto es ingeniero.
Aplicando la regla de
disyunción a las dos
proposiciones:
a ∨ b: María es doctora o
Roberto es ingeniero.
Simplificación
(SIMP)
Definición y ejemplos
Es la operación inversa a la adjunción,
si se tiene una conjunción, se pueden
separar las proposiciones.
Se tiene la siguiente conjunción:
a: María es doctora.
b: Roberto es ingeniero.
Advertencia: tanto en las reglas de la conjunción como en las de
la disyunción, tener mucho cuidado con el paréntesis para aplicar
la regla de la simplificación.
En el caso de (a ∧ b) → c, no puedo simplificar la premisa, porque
el conectivo lógico dominante es la implicación. Es incorrecto
decir que entonces tendría a → c. Si, por el contrario, la
proposición fuera a ∧ (b → c), entonces puedo simplificar la
premisa obteniendo a u obteniendo b → c, porque el conectivo
lógico principal es la conjunción.
Adición (ADI)
Definición y ejemplos
Si disponemos de un enunciado verdadero,
se le puede adicionar mediante la
conjunción cualquier otra proposición:
a: Roberto es ingeniero.
a: Hace frío.
b: Luis va a caminar al parque.
c: Luis arregla la casa después de
almorzar.
Por lo que se forman las siguientes
proposiciones:
a: Llueve.
b: El campo está seco.
c: Jugaremos dentro de la casa.
d: Jugaremos fútbol.
Con estas proposiciones se forman otras proposiciones para
aplicar la regla: