Question

(Pvq) <-> (P^q) Tabla de la verdad​

Answer 1

Respuesta:

→ Dejo imagen con respectiva tabla de verdad.

Explicación paso a paso:

Tema: $\section*{L\'ogica proposicional(Tablas de verdad)}$

Empecemos viendo teoría.

$\large\underline{\textbf{L\'ogica proposicional.-}}$  Es una expresión libre de ambiguedades.

$\large\underline{\textbf{Tipos de proposiciones:}}$ Las proposiciones siempre se toman de la letra p, q, r, s, t, etc.

$\large\underline{\textbf{Tipos de conectivos l\'ogicos:}}$ Solo estudiaremos los conectivos lógicos que vemos en el problema, pero hay muchos más.

1. Conjunción(∧): Se relaciona mediante el conector "y". Es verdadera cuando ambas proposiciones son verdaderas.
2. Disyunción débil(∨): Se relaciona mediante el conector "o". Es falsa cuando ambas proposiciones son falsas.
3. Bicondicional(Δ): Se relaciona mediante el conector "si y solo si". Es verdadera cuando ambas proposiciones tienen el mismo valor de verdad o falsedad.

$\large\underline{\textbf{Conectivo principal:}}$ El conectivo principal se lo reconoce siempre porque está fuera de los signos de agrupación(Corchetes, llaves, paréntesis).

$\large\underline{\textbf{Tabla de verdad:}}$ Su fórmula es 2ⁿ.

• Cantidad de proposiciones: n
• Valores de verdad o falsedad: 2ⁿ

.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-

(p ∨ q) ⇔ (p ∧ q)

En el ejercicio el conectivo principal es la Bicondicional(⇔) porque está afuera de los signos de agrupación.

En la tabla solo hay dos proposiciones(p y q) por lo que n es igual a dos(n = 2).