Quiz Herramientas de Logica Computacional 1 Intento
Quiz Herramientas de Logica Computacional 1 Intento
Quiz Herramientas de Logica Computacional 1 Intento
Intento Hora Pu
P∧egP≡true
P≡true
eg(egP)≡false
egP≡true
IncorrectoPregunta 2
0 / 10 pts
¿Cuál de las siguientes fórmulas es un teorema?:
egP≡true
A≡False≡A
A≡egA≡true
eg(eg(A≡egB)≡Aot≡B
IncorrectoPregunta 3
0 / 10 pts
¿Cuál es una simbolización, en el cálculo proposicional, de la sentencia: Carol se
marea siempre que monta en una barca o en avión?:
(p∨q)→r
p∧q∧r
(p→q)∨r
p→(q∨r)
Pregunta 4
10 / 10 pts
Si E:p∨q entonces al realizar la operación E[p:=p∨q]
se obtiene:
(p∨q)∨q(p∨q)∨q(p\lor q)\lor q
p∨qp∨qp\lor q
(p∨p)∨(q∨q)(p∨p)∨(q∨q)(p\lor p)\lor (q\lor q)
p∨(q∨q)p∨(q∨q)p\lor (q\lor q)
Pregunta 5
10 / 10 pts
Son conectores lógicos del cálculo proposicional:
Negación, disyunción, equivalencia, implicación.
Implicación, negación, conjunción, interrogación.
Suma, resta, multiplicación y división
Axioma de identidad, Axioma de asociatividad.
Puntaje actual: 30 de 50
se mantuvo el
30 de 50
puntaje:
Aún dispone de 1 intento más
Volver a realizar el examen