Documentos de Académico
Documentos de Profesional
Documentos de Cultura
A→(B→C)≡(A∧B)∧C.
A→(B→C)≡(A∨B)∧C.
A→(B→C)≡(C∧B)→A.
A→(B→C)≡(A∧B)→C.
Pregunta 2
7.5 / 7.5 pts
El anulador a derecha de la implicación es:
False.
True.
A.
egA.
IncorrectoPregunta 3
0 / 7.5 pts
Si A→(egA→B) entonces un expresión equivalente es:
A→egB
True
B
egA
IncorrectoPregunta 4
0 / 7.5 pts
Un teorema del cálculo proposicional es:
A∧B→B∨C.
A∨B→A∧B
A∧B≡B.
A∨B→B∧C.
Pregunta 5
7.5 / 7.5 pts
El anulador de la conjunción es:
egP
False
P∨egP
True
Pregunta 6
7.5 / 7.5 pts
Es un axioma del operador booleano de la conjunción
Idempotencia
Regla de oro
Conmutatividad
Axioma de Identidad
Pregunta 7
7.5 / 7.5 pts
¿Cuál de las siguientes fórmulas es un teorema?
A∨B≡B≡A≡A∧B
eg(A∨B)≡B≡A≡egA∧egB
A∨True≡B≡A≡A
A∨B≡B≡A≡A
IncorrectoPregunta 8
0 / 7.5 pts
Si A→B es equivalente a:
eg(A∧egB).
egB→A.
A∧B≡egA.
A∨eqB.
Pregunta 9
7.5 / 7.5 pts
Cuál es una ley De Morgan:
eg(egA∨B)≡(A∧B)
eg(egA∨egB)≡(A∧B)
eg(egA∨B)≡(A∨egB)
eg(A∨B)≡(egA∨egB)
Pregunta 10
7.5 / 7.5 pts
La afirmación "Hoy no tengo clase y hoy no tengo trabajo" es equivalente, desde el
cálculo proposicional, a:
No tengo clase y si tengo trabajo hoy.
Hoy tengo clase o tengo trabajo.
No tento clase hoy y trabajo.
No, tengo clase o trabajo hoy.