Repaso I: Lógica Matemática

¿qué representa el siguiente símbolo matemático $\equiv$  ?

• igual

• distinto

• aproximadamente igual

• idénticamente igual

¿Cuál de los siguientes símbolos NO es un operador o conectivo lógico?

• $\rightarrow$

• $\leftrightarrow$

• $\vee$

• $\psi$

• $\wedge$

Analiza el circuito eléctrico simple que se muestra en la figura, imagina qué sucede con el foco cuando se unen los switchs para que pase la corriente de la batería al foco y este se encienda.

Indica que operador lógico está representado por dicho circuito eléctrico:

• Conjunción ∧

• Disyunción ∨

• Implicación →

• Bicondicional ↔

Analiza el circuito eléctrico simple que se muestra en la figura, imagina qué sucede con el foco cuando se unen los switchs para que pase la corriente de la batería al foco y este se encienda.

Indica que operador lógico está representado por dicho circuito eléctrico:

• Disyunción ⋁

• Implicación →

• Bicondicional ↔

• Conjunción ∧

Sean las proposiciones p (verdadera), q (falsa) y r (verdadera). ¿Cuál es el valor de verdad de la siguiente proposición compuesta:  $p\vee\left[¬q\wedge r\right]$  ?

• Verdadera

• Falsa

Sean las proposiciones p (verdadera), q (falsa) y r (verdadera). ¿Cuál es el valor de verdad de la siguiente proposición compuesta:  $\left\{\left\{\left[\left(p\wedge q\right)\vee r\right]\wedge¬q\right\}\vee q\right\}\Longleftrightarrow\left(r\vee q\right)$  ?

• Falso

• Verdadero

 ¿Qué cuantificador usarías en la siguiente proposición $p\left(x\right):\ x+8=0$ ?

• Existencial  $\exists$  

• Universal  $\forall$  

¿Qué cuantificador usarías en la siguiente proposición $q\left(x\right):\ x^2-4x+3=\left(x-3\right)\left(x-1\right)$ ?

• Universal  $\forall$  

• Existencial  $\exists$  

El siguiente enunciado: "Si tú eres su hijo , entonces él es tu padre. Él es tu padre. Entonces, tú eres su hijo" es una falacia formal de tipo:

• Afirmación del consecuente

• Negación del antecedente

• Ad logicam

• Silogismo disyuntivo falaz

El siguiente enunciado: "Te interesan las ciencias o te interesan las humanidades; se ve claro que te interesan las ciencias. Entonces, no te interesan las humanidades" es una falacia formal de tipo:

• Afirmación del consecuente

• Negación del antecedente

• Ad logicam

• Silogismo disyuntivo falaz