Elsőrendű logika segítség?
Adott ez a kidolgozott mintapélda.
Az első válaszlehetőség: f(x,α)
a megoldás szerint nem része a nyelvnek. A kérdésem az lenne, hogy miért nem? Hisz x π1 fajtájú, α pedig π2 fajtájú a függvény pedig f(π1,π2) formában van megadva. Akkor nem egy termnek kéne lennie?
A másik amit nem értek, az első oszlop 4:
∃cP(c,β)
P(π1,π2) formában van megadva. A c konstans π1 fajtájú , β pedig π2 fajtájú. Tehát ennek nem egy formulának kéne lennie, ami elé ha kvantort teszek, az szintén formula lesz?
Köszönöm a segítséget
válasza:Az elsőt én is hibásnak látom, f(x, alpha) érvényes term, igazad van.
A másikkal az a baj, hogy kvantor után csak változó állhat és c nem az.
Most így rápillantva a második oszlop első válasza sem jó, mert f kétargumentumú, úgyhogy ne vedd komolyan ezt a kitöltést, láthatóan nem ellenőrizte senki.
A minta jó, definíciok szerint is helyesen van kitöltve.
f Függvényszimbóulum alakja (π1, π2) ahol az utolsó fajta a term fajtáját jelöli (π2) tehát az f fgvszimbolum egy π1 fajtáju term bemenetből egy π2 fajtaju termet csinál.
Csak 1 bemenete van, az utolsó mindig a "kimenet" fgvsz-ok esetén.
Predikátumszimbóulomoknál viszont mindegyik π tipus "bemenet" az alak szerint.
Remélem tudtam segíteni!
Kapcsolódó kérdések:
Minden jog fenntartva © 2024, www.gyakorikerdesek.hu
GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | Cookie beállítások | WebMinute Kft. | Facebook | Kapcsolat: info(kukac)gyakorikerdesek.hu
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!