Lege de Logica Propositional

Play Quiz

Study Flashcards

Spaced Repetition

Chat to Lesson

Podcast

Play an AI-generated podcast conversation about this lesson

p ∨ ( q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨ r ) (B), p ∧ ( q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧ r ) (D) Signup and view all the answers

p ∧ T ≡ p (A), p ∨ F ≡ p (C) Signup and view all the answers

p ∧ F ≡ F (A), p ∨ T ≡ T (D) Signup and view all the answers

¬¬p ≡ p (A) Signup and view all the answers

¬( p ∧ q ) ≡ ¬p ∨ ¬q (B), ¬( p ∨ q ) ≡ ¬p ∧ ¬q (C) Signup and view all the answers

p ∧ (p ∨ q) ≡ p (A), p ∨ (p ∧ q) ≡ p (B) Signup and view all the answers

p → q ≡ ¬p ∨ q (B), (p → q) ∧ (q → p) (C) Signup and view all the answers

p ∧ ¬p ≡ F (C), p ∨ ¬p ≡ T (D) Signup and view all the answers

Flashcards are hidden until you start studying

Leges Idempotente: p ^ p = p; p v p = p
Leges Associative: (p ∨ q) ∨ r ≡ p ∨ (q ∨ r); (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
Leges Commutative: p ∨ q ≡ q ∨ p; p ∧ q ≡ q ∧ p
Leges Distributive: p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r); p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Leges de Identitate: p ∨ F ≡ p; p ∧ T ≡ p
Leges de Dominante: p ∧ F ≡ F; p ∨ T ≡ T
Lege de Negation Doble: ¬¬p ≡ p
Leges de De Morgan: ¬(p ∨ q) ≡ ¬p ∧ ¬q; ¬(p ∧ q) ≡ ¬p ∨ ¬q
Leges de Absorption: p ∨ (p ∧ q) ≡ p; p ∧ (p ∨ q) ≡ p
Lege de Conditionale: p → q ≡ ¬p ∨ q; p, (p → q) ^ (q → p)
Leges de Complemento: p ∨ ¬p ≡ T; p ∧ ¬p ≡ F