Quiz Herramientas de Logica Computacional 1 Intento

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 3

Historial de intentos

Intento Hora Pu

MÁS RECIENTE Intento 1 54 minutos 30


 Las respuestas correctas estarán disponibles del 25 de mar en 23:55 al 26 de mar en 23:55.
Puntaje para este intento30 de 50
Entregado el 24 de mar en 18:19
Este intento tuvo una duración de 54 minutos.
 
Pregunta 1
10 / 10 pts
Si P es un teorema, entonces es correcto afirmar que:

  
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 del examen: 30 de 50


Información sobre el último intento:
54
Hora:
minutos

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

También podría gustarte