3/7/23, 15:21 Actividad Semana 1: Attempt review

Started on Wednesday, 14 June 2023, 6:21 PM

State Finished
Completed on Wednesday, 14 June 2023, 6:28 PM
Time taken 6 mins 53 secs
Marks 5.04/9.00
Grade 1.12 out of 2.00 (56%)

Question 1
Correct
Mark 1.00 out of 1.00

¿Cuál es la forma de la tautología Modus Tollens?


 

(( A  
⇒  𝒯  ) ˄   ¬   𝒯  ) ⇒ ¬   𝒜   
¬ 𝒜 𝒯 ⇒ ˄

https://aulasvirtuales.epn.edu.ec/mod/quiz/review.php?attempt=5479963&cmid=6905241 1/9
3/7/23, 15:21 Actividad Semana 1: Attempt review

Question 2
Partially correct
Mark 0.17 out of 1.00

Si  (R ⇒ T ) ≡ ¬(R ∧ ¬T ),

Seleccione la o las afirmaciones correctas.

Select one or more:

a. La proposición (R ⇒ T ) ≡ ¬(R ∧ ¬T ) es falsa.
b. La proposición (R ⇒ T ) ≡ ¬(R ∧ ¬T ) es verdadera.

c. Las proposiciones (R ⇒ T ) y ¬(R ∧ ¬T ) son iguales.


d. Si la proposición R ⇒ T es falsa, también la proposición  ¬(R ∧ ¬T ) es falsa.

e. (R ⇒ T ) ≡ ¬(R ∧ ¬T ), representa una relación, no una proposición


https://aulasvirtuales.epn.edu.ec/mod/quiz/review.php?attempt=5479963&cmid=6905241 2/9
3/7/23, 15:21 Actividad Semana 1: Attempt review

Question 3
Incorrect
Mark 0.00 out of 1.00

Si el valor de verdad de la proposición (P ∧ ¬Q) ⇒ R   es falso, los valores de verdad de las proposiciones P  , Q  y R   son,
respectivamente (en el orden de P , Q y R -uno de ellos se esconde a propósito):

Select one:
a. verdadero - falso - ¿?

b. verdadero - ¿? - verdadero 
c. falso - ¿? - falso
d. ¿? - falso - verdadero

https://aulasvirtuales.epn.edu.ec/mod/quiz/review.php?attempt=5479963&cmid=6905241 3/9
3/7/23, 15:21 Actividad Semana 1: Attempt review

Question 4
Correct
Mark 1.00 out of 1.00

La proposición que tiene la misma "forma'' de la proposición

    `l̀a implicación de la conjunción de P   y R   y la disyunción de P  y Q
es:

Select one:
a. (S ∨ R ) ⇒ (S ∧ Q) .

b. (S ∧ Q) ⇒ (S ∨ R ) .


c. (S ⇒ Q) ∧ (S ∨ R ) .

d. ((S ∧ Q) ⇒ S ) ∨ R ) .


Question 5
Correct
Mark 1.00 out of 1.00

Las teorías matemáticas o axiomáticas se caracterizan por estar constituidas por conceptos y proposiciones . Los conceptos
pueden ser primitivos  y definidos.

https://aulasvirtuales.epn.edu.ec/mod/quiz/review.php?attempt=5479963&cmid=6905241 4/9
3/7/23, 15:21 Actividad Semana 1: Attempt review

Question 6
Correct
Mark 1.00 out of 1.00

La proposición
(P ⇒ R) ⇒ Q

se lee:

Select one:
a. La implicación de la implicación de P , R y Q.


b. La implicación de la implicación de P y la implicación de P y R
c. La implicación de P y la implicación de Q y R .
d. P implica R , implica Q.

https://aulasvirtuales.epn.edu.ec/mod/quiz/review.php?attempt=5479963&cmid=6905241 5/9
3/7/23, 15:21 Actividad Semana 1: Attempt review

Question 7
Incorrect
Mark 0.00 out of 1.00

De acuerdo con las relgas de la Sintaxis de la Lógica. La siguiente expresión representa una proposición:

¬p → q

Select one:

True 
False

https://aulasvirtuales.epn.edu.ec/mod/quiz/review.php?attempt=5479963&cmid=6905241 6/9
3/7/23, 15:21 Actividad Semana 1: Attempt review

Question 8
Incorrect
Mark 0.00 out of 1.00

De las premisas (P ∨ ¬Q) ⇒ ¬T y T, por Modus Tollens y otras deducciones lógicas, se tiene

Select one:
a. \neg \mathscr P \vee \neg \mathscr Q

b. \neg \mathscr P \wedge \mathscr Q

c. \neg \mathscr P \vee \mathscr Q


d. \neg \mathscr P \wedge \neg \mathscr Q

https://aulasvirtuales.epn.edu.ec/mod/quiz/review.php?attempt=5479963&cmid=6905241 7/9
3/7/23, 15:21 Actividad Semana 1: Attempt review

Question 9
Partially correct
Mark 0.87 out of 1.00

Sean \mathscr A y \mathscr D  proposiciones, determine el valor de verdad de la proposición \mathscr Q si se conoce que
\mathscr Q \equiv ( \mathscr A \Rightarrow (\neg \mathscr A \wedge \mathscr D)) \Rightarrow ( \mathscr A \vee \neg \mathscr A) 
NOTA: Para responder la pregunta completar la siguiente tabla de valores de verdad de la proposición. Coloque los axiomas de valor de verdad
correspondientes en cada paso y determine si es una tautología o una contradicción.
 
       
     
Axioma de:        

     
\mathscr A
( \mathscr A (\neg \mathscr \Rightarrow (\neg
\neg \mathscr \neg \mathscr
\mathscr \mathscr
A D
A D
\vee \neg
\mathscr A)
A \wedge
\mathscr D)
\mathscr A
\wedge \mathscr
\mathscr Q

D)

 v  v                              
 v  f                              
 f  v                              
 f  f                              
 

Por lo tanto, la proposición es una:    (tautología/contradicción)

ELEMENTOS para arrastrar: 

https://aulasvirtuales.epn.edu.ec/mod/quiz/review.php?attempt=5479963&cmid=6905241 8/9
3/7/23, 15:21 Actividad Semana 1: Attempt review

v f

negación conjunción disyunción implicación doble implicación

contradicción

 

https://aulasvirtuales.epn.edu.ec/mod/quiz/review.php?attempt=5479963&cmid=6905241 9/9