Implikacja logiczna
Z Wikipedii
Implikacja logiczna (wynikanie) - relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) T i B spełniona, gdy każdy model teorii T jest także modelem teorii B. Często mylona z implikacją materialną, będącą szczególnym przypadkiem zdania.
Bez odwoływania się do teorii modeli można stwierdzić, że implikacja logiczna jest prawdziwa wtedy i tylko wtedy, gdy nie jest możliwe, że zdanie B jest fałszywe i jednocześnie wszystkie zdania T są prawdziwe.
Implikacja logiczna jest oznaczana:
Zawsze prawdziwe prawa logiczne (wynikające z pustego zbioru twierdzeń) oznaczane są:
.
Jeśli chcemy jakieś prawo logiczne uznać za regułę wnioskowania, to znaczy dołączać nowe zdania w oparciu o już istniejące, możemy zastosować zapis:
oznaczający, że w przypadku, gdy do danej niesprzecznej teorii należą zdania 
, można do niej dołączyć także zdanie B, bez spowodowania sprzeczności.
| Tusk: Chcecie szybkich zmian, dajcie mi sto procent władzy |
Weto jest konstytucyjnym uprawnieniem prezydenta i skłamałbym, jeślibym mówił, że nie spodziewałem się tego - tak premier Donald Tusk komentuje fakt niepodpisania przez Lecha Kaczyńskiego kolejnych ustaw. Jego zdaniem prezydent używa weta jako "broni politycznej". Chcecie szybkiej zmiany - dajcie mi sto procent władzy - oświadczył premier. |
| J. Kaczyński: Polacy zostaną ciężko ograbieni |
- Polityka liberalizmu PO będzie nas drogo kosztowała. Polacy zostaną ciężko ograbieni, gdyż ceny wzrosną, a pensje nie - mówił prezes PiS podczas wizyty na Mazurach i Suwalszczyźnie. Jarosław Kaczyński przekonywał mieszkańców Ełku i Suwałk, że wprowadzenie euro będzie niekorzystne dla Polaków. |
| Prezydent zawetował kolejne ustawy |
Prezydent Lech Kaczyński zawetował kolejne ustawy. Są to: nowelizacja ustawy o zwalczaniu nieuczciwej konkurencji, zmiana w przepisach dotyczących emerytur i rent z FUS oraz ustawa upoważniająca prezydenta do ratyfikacji Konwencji ds. kontaktów z dziećmi. Po raz drugi zawetował ustawę likwidującą tzw. poziomy awans sędziów. Politycy PO, PSL oraz Lewicy uważają, że kolejne weta prezydenta Lecha Kaczyńskiego są podyktowane pobudkami politycznymi. |
| IPN sprawdzi, czy Józef Światło naprawdę nie żyje |
Pion śledczy katowickiego IPN chce zbadać losy podpułkownika Józefa Światły, który w 1953 roku uciekł z Polski na Zachód - poinformował serwis tvp.info. W chwili obecnej prokuratorzy nie mają nawet pewności czy były wicedyrektor Departamentu X Ministerstwa Bezpieczeństwa faktycznie nie żyje. |
| Paweł Machcewicz dyrektorem Muzeum II Wojny Światowej |
Minister Kultury i Dziedzictwa Narodowego Bogdan Zdrojewski powołał Pawła Machcewicza na stanowisko dyrektora Muzeum II Wojny Światowej w Gdańsku - poinformował dział prasowy ministerstwa. |
| Kaczyński: Sikorski szefem NATO? To dobre dla Polski |
Według prezesa PiS Jarosława Kaczyńskiego "byłoby dobrze dla Polski", gdyby Radosław Sikorski lub Aleksander Kwaśniewski objęli stanowisko sekretarza generalnego NATO - bo to wzmacnia pozycję Polski. Zaznaczył, że "bliżej" mu do Sikorskiego. |
| Samobójczyni skoczyła do Odry |
86-letnia mieszkanka Opola popełniła dziś samobójstwo skacząc do Odry. |
| Boże Narodzenie w Opoce |
Rekolekcje on-line, przegląd tradycji adwentowych i świątecznych oraz konkurs MMS na zdjęcie szopki to nowe atrakcje portalu Opoka. |
| IPN ujawnił protokół przesłuchania Graczyka |
IPN opublikował na swych stronach w internecie protokół przesłuchania b. oficera SB Edwarda Graczyka, jako świadka w śledztwie IPN w sprawie fałszowania przez SB akt mających dowodzić, że Lech Wałęsa był agentem o pseudonimie "Bolek". |
| Zaproszenia na wykład Dalajlamy jak świeże bułeczki |
Planowany na 11 grudnia wykład Dalajlamy w Hali Torwar w Warszawie cieszy się bardzo dużym zainteresowaniem. Wszystkie zaproszenia zostały rozdane w ciągu godziny. |
