Tabela verdade se e somente se: perguntas

É o conectivo bicondicional (↔), que é verdadeiro quando as duas proposições têm o mesmo valor lógico: ambas verdadeiras ou ambas falsas.

Liste todas combinações de V/F para P e Q, e defina ↔ como V se P e Q iguais, F se diferentes. São 4 linhas.

Verdadeiro (V), pois ambos têm o mesmo valor lógico.

É falso quando P e Q têm valores diferentes: P V e Q F, ou P F e Q V.

↔ é bidirecional e requer igualdade; → é unidirecional, falso só se antecedente V e consequente F.

Um número é par se e somente se é divisível por 2. (P: par; Q: divisível por 2.)

Usa-se ↔ ou ⇔. Em texto: P se e somente se Q, ou P ≡ Q.

Sim: (P → Q) ∧ (Q → P), ou ¬(P XOR Q).

Sim, P ↔ Q significa que P e Q são logicamente equivalentes, com a mesma tabela verdade.

P V Q V: V; P V Q F: F; P F Q V: F; P F Q F: V.

Porque inclui P → Q e Q → P, exigindo que ambas as implicações sejam verdadeiras.

Quando P e Q são ambos verdadeiros ou ambos falsos, ou seja, quando têm o mesmo valor.

Expanda para 8 linhas (3 variáveis), calcule Q ∧ R primeiro, depois ↔ com P.

Confundir com XOR: ↔ é verdadeiro quando iguais, XOR quando diferentes.

P ↔ Q é a negação de (P XOR Q), ou seja, ¬(P ⊕ Q).

¬(P ↔ Q) ≡ (P XOR Q), verdadeiro quando P e Q diferem.

Em definições, como 'x é primo se e somente se tem exatamente dois divisores positivos'.

Use 8 linhas para 3 variáveis, calcule P ↔ Q primeiro, depois ∧ R.

Não é associativo como outros; (P ↔ Q) ↔ R ≠ P ↔ (Q ↔ R) em geral.

Monte tabela para (P ∨ Q) ↔ ¬R e identifique linhas onde é verdadeiro.