Matematyka dla liceum/Logika/Prawa rachunku zdań: Różnice pomiędzy wersjami

Usunięta treść Dodana treść
Derbeth (dyskusja | edycje)
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”...