2210689322
Dowód twierdzenia o pełności KRZ Dowód (twierdzenia o pełności systemu aksjomatycznego KRZ):
Niech A będzie dowolną ale ustaloną tautologią KRZ Ponieważ zachodzi:
Twierdzenie 9.7. Każda tautologia KRZ jest inferencyjnie równoważna pewnej formule o koniunkcyjnej postaci normalnej, takiej, że w każdej wchodzącej w jej skład alternatywie elementarnej co najmniej jedna zmienna zdaniowa występuje zarówno ze znakiem negacji, jak i bez tego znaku.
zatem istnieje formuła B taka, że:
(i) A jest inferencyjnie równoważna formule B, tj. formuła o postaci /\ <-> B jest tezą KRZ:
(ii) B ma postać:
(*) Cl A C2 A ... A Cn,
gdzie Ci, C2.....C„ (n > 1) są alternatywami elementarnymi, przy czym
dla każdego Ck (1 < k s n) istnieje zmienna, plk, taka, że p,k oraz -,pik występują w Ck.
Wyszukiwarka
Podobne podstrony:
Dowód twierdzenia o pełności KRZ Dowód (twierdzenia o pełności systemu aksjomatycznego KRZ): Niech A
Twierdzenie o pełności Twierdzenie 10.1. (o pełności systemu aksjomatycznego KRZ):Każda tautologia K
Tautologie KRZ. Zagadnienie pełności systemu aksjomatycznego KRZ Przypomnijmy teraz pojęcie tautolog
Wielu badaczy twierdzi, iż system norm ma charakter reguł heurystycznych, czyli nabytych p
stat PageB resize 42 3.6 Testy statystyczne Twierdzenie 3.38 (Lemat Neymana-Pearsona). Niech (3-9o)
stat Pages resize Metody Monte Carlo 73 Twierdzenie 5.2 (Mocne prawo wielkich liczb). Niech Xo,Xi,
Untitled Scanned 44 108 Twierdzeniami dowolnej teorii aksjomatycznej są bowiem zawsze wszystkie te i
14 Liczby rzeczywiste Dowód przeprowadzimy przez sprowadzenie do niedorzeczności. Niech np. oc>fi
Podstawowe Twierdzenie o Skończonych Grupach Przemiennych Definicja Niech Gi,...,Gn będą grupami
18 Twierdzenie 5.2 (o kierunku najszybszego wzrostu funkcji) Niech G będzie zbiorem otwartym w £ , p
ScanImage16 32 — 2. Różniczkowanie odwrotnego do twierdzenia 2.6 bywa łatwo dostrzegalna dla n >
więcej podobnych podstron