ZESTAW 4 1. PODAĆ KLASYCZNĄ DEFINICJĘ PRAWDY ARYSTOTELESA I WSKAZAĆ JEJ OGRANICZENIA.
„Sąd jest prawdziwy jeśli jest tak jak on głosi” - Arystoteles.
Taki sposób definiowania prawdy posiada jednak pewne ograniczenia, np.:
zdanie „13. grudnia 1823 roku był bardzo mroźny” jest pewnie prawdziwe, ale jedynie dla niektórych obszarów Ziemii (np. w Afryce zapewne nie było wtedy zimno, ale w Polsce pewnie tak). Przykład pokazuje iż prawdziwość zdania zależy więc od kontekstu.
zdanie „Zupa pomidorowa jest bardzo smaczna” na pewno jest prawdziwe dla amatorów zupy pomidorowej, jednak dla osób, które nie darzą tej potrawy szczególnym uczuciem, zdanie jest fałszywe. Tak więc prawdziwość zdania zależy również od modelu.
2. OPISAĆ ALFABET KLASYCZNEGO RACHUNKU PREDYKATÓW. PODANE SYMBOLE ZILUSTROWAĆ PRZYKŁADAMI. - zmienne indywidualne np. liczby - stałe indywidualne np. π, e - symbole funkcyjne (działań) np. +, · ( -argumentowe)
- symbole relacji (predykatów) np. =,
(…)
… PRZYKŁADAMI.
- zmienne indywidualne np. liczby
- stałe indywidualne np. π, e
- symbole funkcyjne (działań) np. +, ·
( -argumentowe)
- symbole relacji (predykatów) np. =, <
( -argumentowe)
- stałe logiczne
- stałe logiczne (symbole kwantyfikatorów)
- stałe dowolne
- zmienne
3. W ALGEBRZE ZBIORÓW SFORMUŁOWAĆ PRAWA ROZDZIELNOŚCI ORAZ SPRAWDZIĆ JEDNO.
Sprawdzić jedno:
4. KORZYSTAJĄĆ Z TW. O DEDUKCJI, PODAĆ DOWÓD…
... zobacz całą notatkę
Komentarze użytkowników (0)