praw rachunku kwantyfikatorów
michał: Czy nastepujace zdania sa prawami rachunku kwantyfikatorów? Jesli tak, to je udowodnic,
jesli nie, to znalezc kontrprzykład:
a) ∀x [Φ(x) ⇒ ω(x)] ⇒ [∀x Φ(x) ⇒ ∀x ω(x)]
b) ∀x [Φ(x) ⇒ ω(x)] ⇒ [∃x Φ(x) ⇒ ∃x ω(x)]
Proszę o pomoc
4 lis 13:29
michał: Jakaś wskazówka?
4 lis 14:35
michał: 
4 lis 17:09
michał: naprawdę nikt
4 lis 17:46
rodendron:
4 lis 18:34
rodendron:
4 lis 19:22