Matematyka dla liceum/Logika/Prawa rachunku zdań: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
→Prawa De Morgana: ćwiczenie |
m →Prawa De Morgana: link |
||
Linia 162:
*: (Zaprzeczenie koniunkcji dwóch zdań jest równoważne alternatywie zaprzeczeń tych zdań)
Prawa te są oczywiście '''tautologiami'''. W [[Matematyka dla liceum/Logika/Ćwiczenia#Podstawy|ćwiczeniu 9]] zostaniesz poproszony o udowodnienie tych praw.
Jak napisać zdanie „każdy pies ma cztery łapy” lub „są ludzie, którzy nie umieją liczyć”? W następnym podrozdziale dowiemy się, jak pisać zdania takiego typu, czyli zdania odnoszące się do własności pewnego zbioru. Dowiemy się, co oznacza tajemnicze słowo „kwantyfikator”...
|