Tautologia
Bartosz: Które z podanych schematów są tautologiami. Udowodnij za pomocą tabel
a) [p ⇒(p⋁q)]⋀[(p⋁q) ⇒p]
b) (p ⇒q) ⇒[¬(p⋀q) ⇒¬q]
c) ¬[(p ⇒q) ⇔ (¬q ⇒¬p)] ⇒p
9
11 maj 23:44
Use: z prawdy bracie zawsze wynika prawda i jest to prawda jednak jezeli z fałszu wynika fałsz to
jest to prawda i jeżeli z fałszu wynika prawda to to też jest prawda ( tak jest w implikacji

a koninkcja jest prawdziwa gdy oba zdania sa prawdziwe inne przypadki sa fałszem natomisat
alternatywa jest prawdziwa gdy przynajmnaiej jedno zdanie jest prawdziwe

w czym problem
11 maj 23:46
Bartosz: w ogóle tej logiki nie kumam
11 maj 23:50
asdf: zaraz Ci podesle fajny materiał do matematyki dyskretnej
11 maj 23:51
Bartosz: super
11 maj 23:52
Use: a chcesz skumać

czy masz wyjebane bo to ma znaczenie
11 maj 23:52
Bartosz: chcę to zrozumieć o co biega
11 maj 23:54
11 maj 23:55
11 maj 23:55
11 maj 23:56
Use: Jak bedziesz ogladal uwaznie i go sluchal to raczej z logiki bedziesz sie smial ( przynajmniej
ja zrozumialem bardzo dobrze logike )
11 maj 23:56
12 maj 00:11
12 maj 00:19
Use: @adsf

^^
12 maj 00:30
Use: @ bartosz nie ma za co

jak tylkie sie chcesz uczyc to nic tylko sie cieszyc
12 maj 00:31