Questões de CESGRANRIO - Raciocínio Lógico - Lógica proposicional - 2011

as duas afirmações são verdadeiras, e a segunda justifica a primeira.

as duas afirmações são verdadeiras, e a segunda não justifica a primeira.

a primeira afirmação é verdadeira, e a segunda é falsa.

a primeira afirmação é falsa, e a segunda é verdadeira.

as duas afirmações são falsas.

p ∧ ((q ∨ ¬ r) ∧ (¬ q ∨ r)) ∧ s ∧ ¬ t.

¬ p ∧ ((q ∧ ¬ r) ∨ (¬ q ∧ r)) ∧ s ∧ ¬ t.

p ∧ (q ∨ r) ∧ ¬ s ∧ ¬ t.

p ∧ (q ∨ r ∨ ¬ s) ∧ t.

¬ p ∧ ((q ∧ r) ∨ s) ∧ t.

.

.

.

.

.

RC1 RC2 seja satisfatível.

RC1 U RC2 seja consistente.

RC1 → RC2 seja uma tautologia.

RC2 ↔ RC1 seja válido.

RC1 e RC2 sejam logicamente equivalentes.

(I) e (II) são equivalentes e (III) e (IV) são equivalentes.

(III), (IV) e (V) são equivalentes ou (I) e (II) são equivalentes.

Se (I) e (III) forem equivalentes, então (IV) e (V) são equivalentes.

Se (I) e (IV) são equivalentes, então (II) e (III) são equivalentes.

Se (I) e (II) são equivalentes, então (III), (IV) e (V) são equivalentes.