Pozytywne informacje z Polski i ze Świata.

Tutaj znajdziesz je wszystkie!

Twierdzenie Craiga

Z Wikipedii

Skocz do: nawigacji, szukaj

Twierdzenie Craiga jest twierdzeniem logiki, a w szczególności rachunku predykatów pierwszego rzędu). Udowodnione[1] przez Williama Craiga, amerykańskiego logika.

Spis treści

[edytuj] Definicje

Interpolantem nazwiemy taką formułę Z, że X \implies Z i Z \implies Y są tautologiami, zaś w w Z nie występuje żadna relacja ani symbol funkcyjny (w tym stała), która nie występuje jednocześnie w X i Y.

[edytuj] Teza

Dla każdego zdania rachunku predykatów pierwszego rzędu postaci X \implies Y będącego tautologią istnieje interpolant.

[edytuj] Przykład

Niech X = p(g(x)) \and q(f(x)), a Y = q(f(x)) \or r(h(y,x),y). Twierdzenie (p(g(x)) \and q(f(x))) \implies (q(f(x)) \or r(h(y,x),y)) jest tautologią.

Spróbujmy zbudować więc interpolant, pamiętajmy jednak, że wolno nam do tego użyć jedynie predykatu q oraz symbolu funkcyjnego f, nie wolno zaś używać predykatów p,r, ani też symboli funkcyjnych g i h.

Łatwo zgadnąć, że szukanym interpolantem jest q(f(x)), gdyż istotnie zachodzi

(p(g(x)) \and q(f(x))) \implies q(f(x)),
q(f(x)) \implies (q(f(x)) \or r(h(y,x),y)).

W tym przykładzie interpolant można było odgadnąć dość łatwo, jednak wiemy przecież, że istnieją formuły dużo bardziej skomplikowane. Twierdzenie Craiga mówi, że interpolant istnieje zawsze, niezależnie od tego jak skomplikowane są X i Y.

[edytuj] Bibliografia

  1. ↑ Craig, William: Linear reasoning. A new form of the Herbrand-Gentzen theorem. J. Symb. Logic 22 1957 250--268.

[edytuj] Zobacz też

Wyjazdowe obrady klubu PO: wraca sprawa Staroń

Podczas wyjazdowego posiedzenia klubu PO w miejscowości Ossa k. Rawy Mazowieckiej Lidia Staroń czyniła wyrzuty kolegom, że nie wsparli jej po publikacji "Rzeczpospolitej". Gazeta napisała, że Staroń zarobiła kilkaset tysięcy zł, bo ustawa, nad którą pracowała, pozwoliła jej uwłaszczyć lokal usługowy. Donald Tusk - relacjonuje zastrzegający anonimowość uczestnik obrad - poparł Staroń, natomiast Zbigniew Chlebowski nie zabrał głosu.

Pierwsza ofiara mrozu. Mężczyzna znaleziony na Podkarpaciu

45-letni mężczyzna jest najprawdopodobniej pierwszą tegoroczną ofiarą mrozów na Podkarpaciu. Policjanci wyjaśniają dokładne przyczyny śmierci mieszkańca Trzebuski. Mężczyznę znaleziono niespełna sto metrów od jego domu. Wiele wskazuje na to, że zmarł w wyniku wychłodzenia organizmu.

Pacelt do dymisji, dostanie nowe zadania

Ostrowiecki poseł Platformy Obywatelskiej Zbigniew Pacelt zostanie odwołany ze stanowiska wiceministra sportu. Teraz będzie odpowiadał za przygotowania reprezentacji Polski do igrzysk w Londynie.

Osiedlowy zespół ukradł sprzęt Acid Drinkers

Policjanci odzyskali sprzęt muzyczny należący do zespołu Acid Drinkers. Złodziejami okazali się 17-letni Jakub K. i 18-letni Paweł K., członkowie osiedlowego zespołu z Ełku. Za kradzież odpowiedzą przed sądem. Grozi im nawet pięć lat więzienia.

Pijany policjant spowodował kolizję

26-letni pijany policjant spowodował w sobotę w Elblągu kolizję. Funkcjonariusz, który miał w wydychanym powietrzu 2,5 promila alkoholu, straci pracę. Czeka go także sprawa karna - poinformowała Justyna Grzeczka z elbląskiej policji.

Drugie podejście PO do ustawy o mediach

PO wraca do rozmów z lewicą o zmianach w mediach. W przyszłym tygodniu politycy Platformy maja wyłożyć na stół nowy projekt ustawy medialnej - dowiedział się "Dziennik".

PiS zaniepokojone sprawą posłów Sejmu Litwy z Kartą Polaka

PiS jest zaniepokojone sprawą posłów litewskiego Sejmu posiadających Kartę Polaka. Dwóm z trzech posłów AWPL grozi utrata mandatu litewskiego posła z powodu przyjęcia przez nich Karty, co budzi na Litwie kontrowersje.

Ojciec, gdy wypił, znęcał się nad córką

Ojciec nadużywał alkoholu. Gdy był pijany, bił córkę drewnianą listewką. Dziewczynka opowiedziała o tym opiekunce ze świetlicy osiedlowej. Ta o sprawie zawiadomiła policję. 47-letniego Arkadiusza L. zatrzymano. Miał prawie promil alkoholu we krwi. Został aresztowany na trzy miesiące.

Kaczyński: Pokażemy inne przypadki pijanych posłów w Sejmie

- PiS nie będzie podejmował żadnych decyzji w sprawie Elżbiety Kruk - powiedział Jarosław Kaczyński. Posłanka w czasie wczorajszych porannych głosowań w Sejmie chwiała się na nogach i niewyraźnie mówiła.

Zawieje i zamiecie na południu, dużo śniegu na północy

Zawieje i zamiecie śnieżne mogą nękać aż do jutrzejszego popołudnia całe południe Polski. na północy, nad Bałtykiem pada i ma padać śnieg. Jak zapowiada Instytut Meteorologii i Gospodarki Wodnej w ciągu doby może tam spaść nawet 20 centymetrów śniegu.

Zobacz także inne, godne uwagi serwisy. Piewrszy z nich prezentuje wysokiej jakości drzwi natomiast drugi z nich projekty domów parterowych.
W innych językach
Wyjazdowe obrady klubu PO: wraca sprawa Staroń

Podczas wyjazdowego posiedzenia klubu PO w miejscowości Ossa k. Rawy Mazowieckiej Lidia Staroń czyniła wyrzuty kolegom, że nie wsparli jej po publikacji "Rzeczpospolitej". Gazeta napisała, że Staroń zarobiła kilkaset tysięcy zł, bo ustawa, nad którą pracowała, pozwoliła jej uwłaszczyć lokal usługowy. Donald Tusk - relacjonuje zastrzegający anonimowość uczestnik obrad - poparł Staroń, natomiast Zbigniew Chlebowski nie zabrał głosu.

Pierwsza ofiara mrozu. Mężczyzna znaleziony na Podkarpaciu

45-letni mężczyzna jest najprawdopodobniej pierwszą tegoroczną ofiarą mrozów na Podkarpaciu. Policjanci wyjaśniają dokładne przyczyny śmierci mieszkańca Trzebuski. Mężczyznę znaleziono niespełna sto metrów od jego domu. Wiele wskazuje na to, że zmarł w wyniku wychłodzenia organizmu.

Pacelt do dymisji, dostanie nowe zadania

Ostrowiecki poseł Platformy Obywatelskiej Zbigniew Pacelt zostanie odwołany ze stanowiska wiceministra sportu. Teraz będzie odpowiadał za przygotowania reprezentacji Polski do igrzysk w Londynie.

Osiedlowy zespół ukradł sprzęt Acid Drinkers

Policjanci odzyskali sprzęt muzyczny należący do zespołu Acid Drinkers. Złodziejami okazali się 17-letni Jakub K. i 18-letni Paweł K., członkowie osiedlowego zespołu z Ełku. Za kradzież odpowiedzą przed sądem. Grozi im nawet pięć lat więzienia.

Pijany policjant spowodował kolizję

26-letni pijany policjant spowodował w sobotę w Elblągu kolizję. Funkcjonariusz, który miał w wydychanym powietrzu 2,5 promila alkoholu, straci pracę. Czeka go także sprawa karna - poinformowała Justyna Grzeczka z elbląskiej policji.

Drugie podejście PO do ustawy o mediach

PO wraca do rozmów z lewicą o zmianach w mediach. W przyszłym tygodniu politycy Platformy maja wyłożyć na stół nowy projekt ustawy medialnej - dowiedział się "Dziennik".

PiS zaniepokojone sprawą posłów Sejmu Litwy z Kartą Polaka

PiS jest zaniepokojone sprawą posłów litewskiego Sejmu posiadających Kartę Polaka. Dwóm z trzech posłów AWPL grozi utrata mandatu litewskiego posła z powodu przyjęcia przez nich Karty, co budzi na Litwie kontrowersje.

Ojciec, gdy wypił, znęcał się nad córką

Ojciec nadużywał alkoholu. Gdy był pijany, bił córkę drewnianą listewką. Dziewczynka opowiedziała o tym opiekunce ze świetlicy osiedlowej. Ta o sprawie zawiadomiła policję. 47-letniego Arkadiusza L. zatrzymano. Miał prawie promil alkoholu we krwi. Został aresztowany na trzy miesiące.

Kaczyński: Pokażemy inne przypadki pijanych posłów w Sejmie

- PiS nie będzie podejmował żadnych decyzji w sprawie Elżbiety Kruk - powiedział Jarosław Kaczyński. Posłanka w czasie wczorajszych porannych głosowań w Sejmie chwiała się na nogach i niewyraźnie mówiła.

Zawieje i zamiecie na południu, dużo śniegu na północy

Zawieje i zamiecie śnieżne mogą nękać aż do jutrzejszego popołudnia całe południe Polski. na północy, nad Bałtykiem pada i ma padać śnieg. Jak zapowiada Instytut Meteorologii i Gospodarki Wodnej w ciągu doby może tam spaść nawet 20 centymetrów śniegu.

Zobacz także inne, godne uwagi serwisy. Piewrszy z nich prezentuje wysokiej jakości drzwi natomiast drugi z nich projekty domów parterowych.

Jeśli skorzystałeś z informacji przedstawionych tutaj?

Nie bądź samolubem. Daj link do serwisu http://www.theplaceofhousesinc.com wszystkim z Twojego GG.