Wkład użytkownika Φιλο
Dla użytkownika Φιλο dyskusja blokady przesłane pliki rejestry konto globalne rejestr nadużyć
Użytkownik(-czka) wykonał(a) 193 edycje. Konto utworzone 23 sty 2006.
23 maj 2007
- 08:5308:53, 23 maj 2007 różn. hist. +88 Politechnika Poznańska PUTWiki
27 gru 2006
- 17:5617:56, 27 gru 2006 różn. hist. +30 LPR Nie podano opisu zmian
- 17:5617:56, 27 gru 2006 różn. hist. +51 N Logika pierwszego rzędu Przekierowanie do Rachunek predykatów pierwszego rzędu ostatnia
26 gru 2006
- 22:0522:05, 26 gru 2006 różn. hist. +100 Dyskusja wikipedysty:Klapi Nie podano opisu zmian
- 22:0222:02, 26 gru 2006 różn. hist. +42 KRP disambig
- 21:5821:58, 26 gru 2006 różn. hist. −149 Dyskusja wikipedysty:Φιλο →[[Fałszwość formuły zdaniowej]]
- 21:5721:57, 26 gru 2006 różn. hist. +210 Prawdziwość formuły zdaniowej Nie podano opisu zmian
- 21:5021:50, 26 gru 2006 różn. hist. +45 N Fałszywość formuły zdaniowej Przekierowanie do Prawdziwość formuły zdaniowej ostatnia
8 gru 2006
- 11:1311:13, 8 gru 2006 różn. hist. +12 m Spełnialność formuły zdaniowej Nie podano opisu zmian
- 10:3610:36, 8 gru 2006 różn. hist. 0 Dowód (matematyka) Nie podano opisu zmian
- 10:3510:35, 8 gru 2006 różn. hist. +95 Dowód (matematyka) Nie podano opisu zmian
- 10:3310:33, 8 gru 2006 różn. hist. +92 Derywacja derywacja w logice
7 gru 2006
- 23:2423:24, 7 gru 2006 różn. hist. 0 m Formuła atomowa Nie podano opisu zmian
- 23:2323:23, 7 gru 2006 różn. hist. +330 N Formuła atomowa Nowa strona: W języku klasycznego rachunku predykatów '''formuły atomowe''' to wyrażenia mające postać: :P<sub>k</sub><sup>n</sup>(τ<sub>1</sub>, ..., τ<sub>n</sub>) gdzie P<sub>k</sub><sup>...
- 23:1823:18, 7 gru 2006 różn. hist. +729 Formuła zdaniowa Nie podano opisu zmian
- 23:1323:13, 7 gru 2006 różn. hist. −35 Funkcja zdaniowa funkcja zdaniowa to nie to samo to formuła zdaniowa...
- 22:5122:51, 7 gru 2006 różn. hist. +24 Operacja konsekwencji Nie podano opisu zmian
- 22:5022:50, 7 gru 2006 różn. hist. +103 Sprzeczny zbiór formuł zdaniowych Nie podano opisu zmian
- 22:4422:44, 7 gru 2006 różn. hist. +101 Teoria pierwszego rzędu Nie podano opisu zmian
- 22:4322:43, 7 gru 2006 różn. hist. +12 Teoria pierwszego rzędu Nie podano opisu zmian
- 22:4222:42, 7 gru 2006 różn. hist. +287 N Dyskusja:Funkcja zdaniowa Nowa strona: Śmiem twierdzić, że formuła zdaniowa to nie to samo co funkcja zdaniowa. Co prawda każda funkcja zdaniowa jest formułą zdaniową, ale nie na odwrót. To co jest tutaj zaprezentow...
- 22:4022:40, 7 gru 2006 różn. hist. +23 Zbiór formuł zupełny z uwagi na język Nie podano opisu zmian
- 22:3022:30, 7 gru 2006 różn. hist. −1 Domknięcie uniwersalne Nie podano opisu zmian
- 22:3022:30, 7 gru 2006 różn. hist. +497 N Domknięcie uniwersalne Nowa strona: Niech dom(B) oznacza '''domknięcie uporządkowane formuły zdaniowej''' B (gdzie B jest formuła dowolnego ale ustalonego języka pierwszego rzędu). #Jeżeli B j...
- 22:1922:19, 7 gru 2006 różn. hist. +375 Wynikanie logiczne Nie podano opisu zmian
- 22:1122:11, 7 gru 2006 różn. hist. +582 N Wynikanie logiczne Nowa strona: Formuła zdaniowa A języka pierwszego rzędu L '''wynika logicznie''' ze zbioru formuł zdaniowych X języka L wtw zachodzi: dla każdej [[interpretacja języka pierwszego rzędu|i...
- 22:0622:06, 7 gru 2006 różn. hist. −896 Interpretacja języka klasycznego rachunku predykatów Przekierowanie do Interpretacja języka pierwszego rzędu
- 22:0522:05, 7 gru 2006 różn. hist. +1274 N Interpretacja języka pierwszego rzędu Nowa strona: Najobszerniejszym językiem pierwszego rzędu jest język klasycznego rachunku predykatów (KRP). '''Interpretacją języka KRP''' nazywamy dowolną ...
- 21:5621:56, 7 gru 2006 różn. hist. +51 N Klasyczny rachunek predykatów Przekierowanie do Rachunek predykatów pierwszego rzędu ostatnia
- 21:3821:38, 7 gru 2006 różn. hist. +47 Aksjomat →Zobacz też
- 21:3521:35, 7 gru 2006 różn. hist. +27 Tautologia (logika) Nie podano opisu zmian
- 14:5214:52, 7 gru 2006 różn. hist. +219 N Spełnialność formuły zdaniowej Nowa strona: Formuła zdaniowa A języka L jest spełnialna wtw istnieją: interpretacja M języka L oraz M-wartościowanie s takie, że M╞ A [s]; w przeciwnym przypadku mówimy, że A jest ni...
- 14:4814:48, 7 gru 2006 różn. hist. +146 Prawdziwość formuły zdaniowej Vr(M)
- 14:4314:43, 7 gru 2006 różn. hist. +281 Tautologia (logika) Nie podano opisu zmian
- 14:3414:34, 7 gru 2006 różn. hist. +322 N Prawdziwość formuły zdaniowej Nowa strona: Formuła zdaniowa A danego języka pierwszego rzędu jest prawdziwa przy interpretacji M = <nowiki><U, ∆></nowiki> tego języka wtw formuła zdaniowa A jest spełniona przy interpreta...
- 00:1700:17, 7 gru 2006 różn. hist. +317 N M-wartościowanie Nowa strona: Niech M = <nowiki><U, ∆></nowiki> będzie dowolną ale ustaloną interpretacją danego języka pierwszego rzędu. Nieskończ...
- 00:1200:12, 7 gru 2006 różn. hist. +938 N Interpretacja języka klasycznego rachunku predykatów Nowa strona: '''Interpretacją języka KRP''' nazywamy dowolną parę uporządkowaną <nowiki><U, ∆></nowiki>, gdzie U jest niepustym zbiorem, natomiast ∆ jest funkcją określona na zbiorze wsz...
- 00:0000:00, 7 gru 2006 różn. hist. +270 N Zbiór formuł zupełny z uwagi na język Nowa strona: Zbiór formuł zdaniowych X języka pierwszego rzędu J jest '''zupełny z uwagi na język''' J wtw dla każdego zdania A języka J: zdanie A jest elementem zbioru Cn<sub>L</sub>(X) lub...
6 gru 2006
- 23:5823:58, 6 gru 2006 różn. hist. +132 Sprzeczny zbiór formuł zdaniowych dod. tw. o niesprzeczności
- 23:5323:53, 6 gru 2006 różn. hist. +21 m Sprzeczny zbiór formuł zdaniowych Nie podano opisu zmian
- 23:5223:52, 6 gru 2006 różn. hist. +248 N Sprzeczny zbiór formuł zdaniowych Nowa strona: Zbiór formuł zdaniowych X jest '''sprzeczny''' wtw istnieje taka formuła zdaniowa A, że do zbioru Cn<sub>L</sub>(X) należy zarówno formuła A, jak i jej negacja, ¬A. Gdy takiej ...
- 23:4723:47, 6 gru 2006 różn. hist. +37 N System dedukcyjny Przekierowanie do Teoria pierwszego rzędu ostatnia
- 23:4523:45, 6 gru 2006 różn. hist. +219 N Teoria pierwszego rzędu Nowa strona: Zbiór formuł zdaniowych T danego języka pierwszego rzędu nazywamy '''teorią pierwszego rzędu''' (lub '''systemem dedukcyjnym''') wtw T spełnia następujący warunek: :Cn<sub>L</s...
- 22:5122:51, 6 gru 2006 różn. hist. +249 N Twierdzenie o dedukcji Nowa strona: Jeżeli A jest zdaniem oraz B ∈ Cn<sub>L</sub>(X ∪ {A}), to formuła zdaniowa A → B należy do zbioru Cn<sub>L</sub>(X), gdzie Cn<sub>L</sub>(X) to [[zbiór wszystkich konsekwencj...
- 22:3122:31, 6 gru 2006 różn. hist. +54 N Aksjomat KRP Przekierowanie do Aksjomat klasycznego rachunku predykatów
- 22:3122:31, 6 gru 2006 różn. hist. +337 N Zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych Nowa strona: '''Zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych X (Cn(X))''' definiujemy jako: :A ∈ Cn<sub>L</sub>(X) wtw A ∈ Cn(X ∪ Arp) gdzie Ar...
- 22:2722:27, 6 gru 2006 różn. hist. +280 N Zbiór wszystkich konsekwencji zbioru formuł zdaniowych Nowa strona: '''Zbiór wszystkich konsekwencji zbioru formuł zdaniowych X (Cn(X))''' definiujemy jako: :A ∈ Cn(X) wtw istnieje przynajmniej jedna [[Derywacja formuły zd...
- 22:1822:18, 6 gru 2006 różn. hist. +764 N Operacja konsekwencji Nowa strona: Niech J będzie językiem sformalizowanym. Oznaczmy przez FORM<sub>J</sub> zbiór wszystkich poprawnie zbudowanych formuł języka J. Funkcję C: 2<sup>FORM<sub>J</sub></sup> |→ 2<sup...
- 21:3121:31, 6 gru 2006 różn. hist. +276 N Aksjomat klasycznego rachunku predykatów Nowa strona: Aksjomatem KRP jest każda formuła zdaniowa języka KRP, którą można otrzymać z jakiejś tautologii Klasycznego Rachunku Zdań poprzez konsekwentne zastąpienie wszystkich występu...
23 wrz 2006
- 11:4011:40, 23 wrz 2006 różn. hist. +19 Model pandemonium wikizacja