prawo rozrachunku
marko: W ponizszych zdaniach mozna usunac nawiasy:
A) q ⇒ (r ⋀ p)
B) q ⋁ (r ⇒p)
C) q ⋀ (r ⋁ p)
Mam zaznaczyc w ktorym
25 sty 15:41
ite:
prawo rozrachunku ← pięknie nazwane
Pewnie chodzi o to, że implikacja i równoważność mają jednakowy priorytet, niższy od koniunkcji
i alternatywy (też mają jednakowy priorytet). A najwyższy ma negacja.
Stąd
A) q ⇒ r ⋀ p
B) q ⋁ (r ⇒p)
C) q ⋀ (r ⋁ p)
25 sty 16:31