Professional Documents
Culture Documents
r " wJuliska
Ha nem esik az es, Juliska nem zik meg
Ha X egy vltoz, akkor beszlhetnk ux = u(X) prediktumokrl, s
r " ux , ux " wx , r " wx lltsokrl.
Bizonyos X rtkekre Ux lehet igaz, ms X rtkekre lehet hamis.
r " u(X)
u(X) " NOT w(X)
uPistike " wPistike
NOT r " NOT w(X)
Pldk formulkra
CS205 vltoz, cs205 konstans(string), 205 konstans(integer), cs 205
konstans(string), p(X,x) (nem ground)atom, p(3,4,5) ground atom, p(3,4,5) konstans
Tovbbi fogalmak
Literal: atom vagy atom negltja (pl p(X,a)
Ground literal: ha nem tartalmaznak az argumentumok vltozt, pl NOT p(a,b)
Mveletek: AND, OR, NOT
p
0
0
1
1
q
0
1
0
1
p AND q
0
0
0
1
p
0
0
1
1
q
0
1
0
1
p OR q
0
1
1
1
p
0
1
p NOT q
1
0
0
0
1
1
0
1
0
1
p
0
0
1
1
q
0
1
0
1
pq
1
0
0
1
Logikai kifejezs: logikai mvelet segtsgvel jn ltre, gy, hogy (rekurzv definci) a
logikai mveletek argumentumaiba tovbbi logikai kifejezst helyettestnk.
Clause: OR mvelettel sszekapcsolt literlok
Kvantifiktorok
Az szeretnnk kifejezni, hogy ha esik, valaki vizes lesz
r " w(Juli) OR w(Pistike) OR w(Jenke) OR w(Anna)
Nem az igazi, mivel nem tudjuk felsorolni az sszes szemlyt, ha nem ismerjk a teljes halmazt, valamint nincs
vgtelen OR mvelet
Y
A
B
C
A
B
C
A
B
C
Mirt igaz
Z=a vagy b
Z=a
p(a,c) FALSE
Z=a
p(b,b) FALSE
Z=c
p(c,a) FALSE
Z=c
Z=b vagy c
"
( Z)
p(X,Y)
AND
p(X,Z)
p(Z,Y)
Tautolgia
Egy E kifejezs tautolgia, ha minden lehetsges interpretci esetn E igazsgrtke 1
(TRUE) lesz.
q(X) OR NOT q(X) tautolgia, q-tl s X-tl fggetlenl mindig igaz (pontosabban q s X
brmely interpretcija esetn mindig igaz):
A p(X,Y) " ( Z) (p(X,Z) AND p(Z,Y)) formula nem tautolgia, mert noha I1 s I3
interpretcira mindig igaz, I2 esetn nem mindig igaz.
Helyettestsi elv: Ha egy tautolgiban egy vltozt kvetkezetesen helyettestnk egy
kifejezssel, tautolgia marad.
Kifejezsek ekvivalencija
Ha egy kifejezsben szabad vltozk vannak, csak akkor lehet tautolgia, ha sszes szabad
vltozit univerzlisan kvantifiklva tautolgit kapunk.
Vagyis minden T tautolgira s X vltozra, ( X) T tautolgia. (X akr szabad T-ben, akr
kttt).
Bizonyts: Legyenek T szabad vltozi Y1 , Yk , lehet, hogy X el sem fordul kzttk.
Tegyk fel elszr, hogy X = Y1 s legyen I egy tetszleges interpretci. Azt kell
megmutatni, hogy I igazz teszi ( X)T t. Ez azt jelenti, hogy ha X-nek egy v konstans felel
meg I szerint, s ezt X helybe T-ben mindenhol behelyettestjk, akkor a kapott formula
igaz. Ez azonban nyilvnval, mert T tautolgia.
Ha X = Yk valamely k-ra, a bizonyts teljesen hasonl. Ha X nem fordul el T szabad
vltozi kztt, akkor X rtk-vlasztsa T igazsgrtkt nem befolysolja, gy minden
lehetsges rtkre T igaz lesz, azaz ( X)T igaz.
Zrt kifejezsek
Ha T tautolgia, akkor feltehet, hogy nincs benne szabad vltoz, ugyanis tekintsk helyette
( X)T kifejezst. Ezt hvjuk T univerzlis lezrsnak.
Zrt az a kifejezs, amelyben nincs szabad vltoz.
Plda: Tudjuk, hogy p(X,Y) OR NOT p(X,Y) tautolgia.
Fentiek szerint ( X) ( Y) (p(X,Y) OR NOT p(X,Y) ) is tautolgia
Tagads s kvantifiktorok
( NOT (( X)E) ) (( X) (NOT E) )
Nem igaz, hogy minden X-re teljesl E ekvivalens azzal, hogy ltezik X, amelyre nem
teljesl E
(NOT (( X) E ) (( X) NOT E))
Nem ltezik olyan X-re, melyre teljesl E ekvivalens azzal, hogy brmely X-re, nem
teljesl E
Ha vges sok lehetsges rtk van, a fenti szablyok a DE MORGAN azonossgbl
kvetkeznek. Vgtelen esetben is igazak azonban.
AND OR s kvantifiktorok
1 (E AND(QX)F) = (QX)(E AND F) E s F kifejezsek Q valamelyik kvantifiktor X nem szabad E-ben
2 ((QX)E AND F) = (QX)(E AND F) E s F kifejezsek Q valamelyik kvantifiktor X nem szabad F-ben
3 (E OR (QX)F) = (QX(E OR F) E s F kifejezsek Q valamelyik kvantifiktor X nem szabad F-ben
4 ((QX)E OR F) = (QX)(E OR F) E s F kifejezsek Q valamelyik kvantifiktor X nem szabad F-ben
Plda transzformcira: ( X)p(X) OR ( X) (NOT p(X))
tnevezs:
( X)p(X) OR ( Y) (NOT p(Y))
4. formula Q =
( X)(p(X) OR ( Y) (NOT p(Y)))
3. formula Q =
( X) ( Y) ( p(X) OR NOT(p(Y)))
Ez a kifejezs tautolgia. Legyen ui. I egy tetszleges interpretci, v pedig X rtke I szerint. Ha p(v) igaz,
akkor Y-tl fggetlenl p(X) OR (NOT (pY)) igaz, ha pedig p(v) hamis, Y = v esetn (NOT(p(Y))) igaz lesz.
PRENEX-Formula
Brmely rtelmes kifejezs n. prenex formra, azaz
( Q1 X1 ) ( Q2 X2 ) (QK XK ) E
Alakra hozhat, ahol Q1 Q2 , QK kvantifiktorok, s az E formulban nincs kvantifiktor.
X)( ( Y) E ( Y) ( X) E
X) ( Y) E ( Y) ( X)E
(
(
X) (
X) (
De nem igaz
Y) E (
Y) E (
Y) (
Y) (
X)E
X)E
( X) ( Y) E ( Y) ( X)E
Tartomny az egsz szmok, E a < relci. Baloldal: minden egsznl van nagyobb: TRUE
Jobboldal: van olyan egsz, amelynl minden egsz kisebb: FALSE
( X) ( Y) E ( Y) ( X)E
Tartomny az egsz szmok, E az = relci. Baloldal: van olyan egsz, mellyel minden egsz egyenl: FALSE
Jobboldal: minden egszre van vele egyenl (nmaga): TRUE
Ground atom
implikci, melynek baloldaln AND mvelettel sszekapcsolt atomok, a
jobboldaln pedig egy atom szerepel.
A jobboldal a fejrsz (head), a baloldal a formula teste (body). Felttelezzk, hogy a fejben
elfordul minden vltoz valahol a testben is elfordul
A test atomjait rsz-cllltsnak (subgoal) nevezzk. Megprbljuk ezeket a subgoal-okat
igazolni (bizonytani), mert ha mindet sikerl, akkor az AND kapcsolat miatt a
szably teste is iaz, s ez impliklja a szably fejt. Kzben vltozhelyettestsekre is szksges lehet. Ha sikerrel jrunk, a szably feje egy
ground atom, amit tovbbi bizonytsokhoz lehet hasznlni.
Bizonythatsg s igazsg
Megprbljuk az igazsg fogalmt megkzelteni. Kifejezsek egy halmaznak modellje ama
interpretcik halmaza, melyek az sszes kifejezst igazz teszik.
Plda: ( X) ( Y) p (X,Y) modelljt keressk.
Legyen I egy interpretci D alaphalmazzal. P prediktumnak egy relci felel meg a DxD
halmazon, mgpedig pontosan azok az (a,b) rendezett prok vannak relciban, melyekre
p(a,b) teljesl, a D, b D (A relci tekinthet 0-1 rtk fggvnyeknek is, mint a relcihalmaz karakterisztikus fggvnye.) Ha p-nek egy ilyen relcit feleltetnk meg, akkor I
modellje a formulnak, ha nem ilyen a relci, akkor I nem modellje a formulnak.
Ha D az egszek halmaza, p a < relci, akkor ez modellje a formulnak, de ha ugyanezen D
halmazon az X = Y2 relcit feleltetljk meg p-nek, akkor ez nem lesz modell.
Legyenek E1 , E2 , En formulk. Azt mondjuk, hogy egy E formula kvetkezik az E1 , E2 ,
En formulkbl, ha E1 , E2 , En formulk minden modellje egyttal modellje E-nek is.
(Egy I interpretci modellje E1 , E2 En formulknak, ha mindegyik E1 nek modellje)
E tny jellse: E1 , E2 , En | = E
gy is mondhatnnk, hogy a kvetkeztets akkor jogos, ha minden a baloldalt megmagyarz
(igazz tev) rtelmezs szerint a jobboldal is igaz.
Ha egy adott bizonytsi szisztmnk van (ahol pl. a rezolci a kvetkeztetsi szably),akkor
E1 , E2 , En |- E
Azt jelenti, hogy E bizonythat E 1 , E2 , En felhasznlsval.
Ha E kvetkezmnye E1 , E2 , , En formulknak,
akkor E1 AND E2 AND AND En " E tautolgia