Question

[(q<=>p) v (p=>q?]=>(q^p)​

Answer 1

Respuesta:

1. PARIA QUISPE, YEFERSON WILY MOLLINEDO LUPACA, EDUARDO CHIPANA RAMIREZ, WILLY MANUELO CHAVEZ, NAPOLEON ROMANI CONDORI, MARTIN

2. Lógica Lógica es el estudio del razonamiento, que se refiere específicamente a si el razonamiento es correcto. La lógica se centra en la relación entre las afirmaciones y no en el contenido de una afirmación en particular.

3. Ejemplos: El día de hoy está bonito. Está lloviendo. 17+5=20 Proposiciones Una proposición es una unidad semántica que, o solo es verdadero, o solo es falsa, pero no ambas cosas a la vez. Nota: Los enunciados que expresen admiración, duda, interrogación, suspenso, etc., no son proposiciones. ¿me invistas a bailar? ¡qué hermoso paisaje! ¿cómo estás?

4. Tipos de proposiciones Existen 2 tipos de proposiciones: Atómicas y Moleculares o compuestas

5. Proposiciones Atómicas Son aquellas que contienen una sola proposición. Ejemplos:  Rosa baila.  Esto es una casa.  Juan canta.  5 es un número par.  Quito es la capital del Ecuador.

6. PROPOSICIONES MOLECULARES O COMPUESTAS Son aquellas que contienen más de una proposición. Ejemplos:  María trabaja y Rosa estudia.  Juan y Luisa son hermanos de Pedro.  Amparo es inteligente y es la hermana de Carlos.  Esmeraldas y Guayas son provincias del Ecuador.

7. LÓGICA PROPOSICIONAL La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. La lógica proposicional permite el razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR).

8. LENGUAJE FORMAL Consiste en abreviar o simbolizar las oraciones o juicios, que en la lógica matemática se llaman proposiciones. Estas proposiciones se reducen en el lenguaje formal a una sola letra, que llamamos variable, y la simbolizamos con las letras minúsculas del alfabeto que van de la p hasta el final del abecedario. Si digo por ejemplo: «Antonio ama a Piedad», esta proposición queda simbolizada en el lenguaje formal mediante la variable p o q, o, r o s.

9. Además de estas variables, la lógica proposicional utiliza otros símbolos, llamados constantes, cuyo significado siempre es el mismo, ya que modifican o unen a las variables. Estos símbolos constantes se llaman conectivos u operadores lógicos. Cuando el conectivo afecta a una sola variable, se llama monádico, como por ejemplo el negador (~) que se lee en el lenguaje natural «no», y se sitúa encima de la letra variable, , «no p». Cuando afectan a más de una variable, son poliádicos. Los conectivos u operadores lógicos más importantes son:

10. TABLAS DE VERDAD Una tabla de verdad es una representación de los posibles valores de verdad que podrá tomar una proposición. Estas tablas sirven para mostrar los valores, las relaciones y los resultados posibles al realizar operaciones lógicas.

11. CONJUNCIÓN La conjunción es verdadera sólo cuando ambas variables lo son y es falsa en los demás casos. p q p ^ q V V V V F F F V F F F F

12. DISYUNCIÓN La disyunción es verdadera en todos los casos menos cuando ambas son falsas. p q p v q V V V V F V F V V F F F

13. CONDICIONAL El condicional es verdadero en todos los caso menos cuando la primera proposición es verdadera y la segunda es falsa. P q p q V V V V F F F V V F F V

14. BICONDICIONAL El bicondicional es verdadero cuando ambos son verdaderos o cuando ambos son falsos, y es falso en los demás casos. P q p ↔ q V V V V F F F V F F F V

Explicación paso a paso:

de nada intente de hacerlo pero aquí tienes métodos para como hacerlo