[R.....n]

Ma ktoś jakiś fajny sposób jak nauczyć się 'Dowód nie wprost' wobec klasycznego rachunku zdania?

(chodzi o tautologie)

#matematyka #logika #pytanie #jestemglupi

[Delfin17]

@Rayon: Ale czego chcesz się konkretnie nauczyć? Nie wiesz na czym polega "dowodzenie nie wprost"? Bo chyba nie rozumiem pytania

[R.....n]

@Delfin17: tak, chciałbym wiedzieć jak to się robi i na czym polega.

(mniej więcej wiem i tak, ale chce się podszkolić)

[j.....0]

@Rayon: zakładasz, że teza jest nieprawdziwa (czyli że prawdziwe jest jej zaprzeczenie) i przerabiasz regułami wnioskowania aż dojdziesz do sprzeczności. Nie ma tutaj nic trudnego.

[R.....n]

@jaksa0: ok liczyłem na jakąś strone czy coś

[j.....0]

@Rayon: ok, definicję czym jest tautologia znajdziesz na wikipedii czy w każdej książce do logiki i teorii mnogości. Co do konkretnych przykładów to wystarczy wpisać hasło tautologia na youtube, albo po prostu cisnąć zadania ze zbiorów (np. W. Marka i J. Onyszkiewicza Logika i teoria mnogości w zadaniach).