RLM

Question 1

p → q = ~p ∨ q

p ∨ q = ~p → q

p → q = ~q → ~p

~(p ∧ q) = ~p ∨ ~q

~(p ∨ q) = ~p ∧ ~q

~(p → q) = p ∧ ~q

~(p ↔ q) = p ⊻ q

~(p ⊻ q) = p ↔ q

p ↔ q = (p → q) ∧ (q → p)

Question 2

Sabe‐se que
I. se Mauro não é baiano então Jair é cearense.
II. se Jair não é cearense então Angélica é pernambucana.
III. Mauro não é baiano ou Angélica não é pernambucana.
É necessariamente verdade que

Answer 2

Jair é cearense.

Question 3

Há apenas duas possibilidades de equivalência quando se trata de uma proposição condicional:
P→Q ⬄ ~Q→~P (“Volta Negando”);
P→Q ⬄ ~PvQ (“Nega a primeira ou copia a segunda”);
Pela alternativa: se não me aborreço com as notícias, não chove. = ~Q →~ P.