Prawa rachunku kwantyfikatorów
Z Wikipedii
| Zasugerowano, aby ten artykuł zintegrować z artykułem Rachunek predykatów pierwszego rzędu. (dyskusja) |
[edytuj] Ważniejsze prawa rachunku kwantyfikatorów :
- prawo dictu de omni - "orzekania o wszystkim"
- prawo generalizacji egzystencjalnej
- prawo subalternacji
- Prawa zmiany zmiennych związanych:
- prawa De Morgana (negowania kwantyfikatorów)
- przemienność :
kwantyfikatora ogólnego
kwantyfikatora egzystencjalnego
- Przeniesienie kwantyfikatora egzystencjalnego za ogólny ( nie odwrotnie ! )
→Kontrprzykład: gdy ф(x,y) jest postaci : x<y (x,y należy do rzeczywistych)
- rozdzielność względem koniunkcji:
- rozdzielność względem alternatywy:
- brak rozdzielności:
→Kontrprzykład: gdy ф(x) prawdziwe dla x>2, Ψ(x) prawdziwe dla x<=2
→Kontrprzykład: gdy ф(x) prawdziwe dla x=1, Ψ(x) prawdziwe dla x=2
→Kontrprzykład: gdy ф(x) prawdziwe dla x>2, Ψ(x) prawdziwe dla x<=2
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki
- Kwantyfikator
- Kwantyfikator ogólny
- Kwantyfikator egzystencjalny
| SMS-owa sonda ostateczna |
Widzowie ulicznego musicalu „Superstar with Jesus Christ” mają decydować w SMS-owym głosowaniu, czy ukrzyżować Jezusa |
| Pa, pa(triotyczne) wycieczki |
MEN po cichu wycofało się z Giertychowych wycieczek, które miały rozbudzać patriotyzm. Uczniowie i nauczyciele żałują |
| Fikcyjne kolejki w szpitalach |
NFZ zapowiada: Nie będziemy płacić za leczenie chorych, którzy omijają kilkuletnią kolejkę na leczenie |
| Sikorski: Czekamy na decyzję w sprawie tarczy |
Minister spraw zagranicznych Radosław Sikorski zakończył w piątek wizytę w stolicy USA, celem której było wysondowanie poglądów polityków Partii Demokratycznej w sprawie tarczy antyrakietowej i w innych kwestiach dotyczących stosunków polsko-amerykańskich. |
| Po obfitych opadach śniegu tiry zablokowały drogę |
Obfite opady śniegu spowodowały, że w piątek wieczorem na świętokrzyskich drogach panują trudne warunki. Tiry zablokowały trasę krajową 42 Namysłów-Rudnik w okolicy Wąchocka. Od popołudnia w wypadkach zginęło pięć osób - poinformowała policja. |
| Senyszyn: Sejm nie jest wolny od picia, dziś trafiło na Kruk |
- Ze statystyki wynika, że 83 posłów nadużywa alkoholu, a 14 to alkoholicy. W rzeczywistości liczby te mogą być większe - pisze na swoim blogu posłanka Joanna Senyszyn. Podkreśla, że Sejm jako emanacja społeczeństwa, które reprezentuje, "nie jest wolny od plagi picia". |
| PO w ośrodku SPA podsumowuje rok pracy rządu |
Z ponad dwugodzinnym opóźnieniem rozpoczęło się w piątek w miejscowości Ossa k. Rawy Mazowieckiej dwudniowe wyjazdowe posiedzenie klubu parlamentarnego Platformy Obywatelskiej. Zjazd odbywa się w czterogwiazdkowym hotelu Ossa Congress and SPA z ofertą odnowy biologicznej. Klub podsumuje rok działania rządu i koalicji PO- PSL. Na posiedzenie przybył premier Donald Tusk i ministrowie. |
| Cenne mapy i listy Mickiewicza trafią do Polski |
Kolekcjoner Tomasz Niewodniczański powiedział w piątek, że zamierza wkrótce przekazać polską część swoich zbiorów kartograficznych i archiwalnych Zamkowi Królewskiemu w Warszawie. |
| Zarzuty dla dwóch pracowników prezydenta Karnowskiego |
Prokuratura postawiła zarzuty sekretarzowi miasta oraz kierowcy prezydenta Sopotu, Jacka Karnowskiego. Obaj mieli brać udział w ustawieniu przetargu na auto dla prezydenta. |
| 28 osób oskarżonych o fałszowanie list poparcia przed wyborami |
28 osób z Rybnika i okolic zostało oskarżonych o złamanie prawa przy zbieraniu i sporządzaniu list poparcia dla kandydatów na posłów w wyborach do Sejmu w 2005 roku. |
















