Operadores lógicos
-
Upload
lchonillom -
Category
Documents
-
view
128 -
download
0
Transcript of Operadores lógicos
Se lee: No, Ni, No es verdad que, No es cierto que.
a: Hoy no es miércoles.
¬a: Hoy no es miércoles.
a: No quiero hacer el viaje.
¬a: Quiero hacer el viaje.
a ¬a
1 0
0 1
Se lee: y, pero, mas, y signos de puntuación como: la
coma, el punto, y el punto y coma.
a: Obtengo buenas notas.
b: Gano una beca
a ∧b: Obtengo buenas notas y gano una beca.a b a ∧b
1 1 1
1 0 0
0 1 0
0 0 0
a: Trabajo mucho.
b: Recibo un buen sueldo.
¬ a ∧ ¬b: No trabajo mucho y no recibo un buen sueldo.
¬ a ∧ b: No trabajo mucho y recibo un buen sueldo.
a ∧¬ b: Trabajo mucho y no recibo un buen sueldo.
Se lee: o
a: Tengo un libro de trigonometría.
b: Tengo un libro de álgebra.
¬ a v ¬b: No tengo un libro de trigonometría o no tengo
un libro de álgebra.
¬ a v b: No tengo un libro de trigonometría o tengo un
libro de álgebra.
a b a v b
1 1 1
1 0 1
0 1 1
0 0 0
a: Estoy en Quito.
b: Estoy en Guayaquil.
¬ a v ¬b: No estoy en Quito o no estoy en
Guayaquil.
a v¬ b: Estoy en Quito o no estoy en Guayaquil.
Se lee: Si a, entonces b; a solo si b; a solamente si b; b
condición de que a; b cuando a; b siempre que a; b cada
vez que a; a implica b.
a: No como a tiempo.
b: Sufro de gastritis.
a →b: No como a tiempo, entonces sufro de gastritis.a b a → b
1 1 1
1 0 0
0 1 1
0 0 1
a: Juán gana el concurso.
b: Juán dona $10000
a →b: Juán gana el concurso, entonces dona $10000.
Se lee: Si y solo si; Si, solamente si; cuando y solo
cuando; a implica b, b implica b.
a: Un triángulo es equilátero.
b: Un triángulo es equiángulo.
a ↔ b: Un triángulo es equilátero si y solo si es
equiángulo.a b a ↔b
1 1 1
1 0 0
0 1 0
0 0 1
a: La seguridad privada es efectiva.
b: Los índices de asaltos disminuyen en la ciudad.
c: El turismo de desarrolla.
Si la seguridad privada es efectiva, disminuyen losíndices de asaltos en la cuidad y el turismo se desarrolla.Los índices de asalto no disminuyen, pero la seguridadprivada es efectiva. Entonces, el turismo no sedesarrolla.
[a →(b ∧c) ∧(¬b ∧a) ]→(¬c)