Definice syntaxe a sémantiky Predikátové logiky: Porovnání verzí

(Založena nová stránka s textem „== Predikátová logika == Výroková logika se zabývala pravdivostí jednoduchých tvrzení, která byla spojena logickými operátory (spojkami). Predik…“)
 
Řádek 1: Řádek 1:
== Predikátová logika ==
+
== Predikátová logika nebo-li predikátová logika prvního řádu ==
Výroková logika se zabývala pravdivostí jednoduchých tvrzení, která byla spojena logickými operátory (spojkami). Predikátová logika toto trochu rozšiřuje, neboť zkoumá vlastnosti a vztahy prvků daných množin. Jinými slovy si všímá  i struktury vět samotných a obsahuje '''predikáty''' a '''kvantifikátory'''.<ref>[http://lucie.zolta.cz/index.php/zaklady-teoreticke-informatiky/19-rezolucni-metoda-a-logicke-programovani/136-predikatova-logika] </ref>
+
Výroková logika se zabývala pravdivostí jednoduchých tvrzení, která byla spojena logickými operátory (spojkami). Predikátová logika toto trochu rozšiřuje, neboť zkoumá vlastnosti a vztahy prvků daných množin. Pomůže lepšímu a přesnějšímu vyjádření vztahu. Jinými slovy si všímá  i struktury vět samotných.<ref>[http://lucie.zolta.cz/index.php/zaklady-teoreticke-informatiky/19-rezolucni-metoda-a-logicke-programovani/136-predikatova-logika] </ref>
  
 +
Predikátová logika je složena ze dvou klíčových částí'''Syntax''' a '''sémantika'''. Syntax určuje, jaké kolekce (posloupnosti) symbolů jsou legální výrazy predikátové logiky a  sémantika hovoří o významu za těmito výrazy.
  
 +
== Syntax výrokové logiky ==
 +
ákladem každého jazyka je množina symbolů, kterými tento jazyk disponuje, neboli jeho abeceda.Stejně jako ve výrokové logice musí jazyk predikátové logiky obsahovat symboly označující proměnné.
 +
Syntax nebo-li jazyk predikátové logiky se skládá z predikátů, proměnných, konstant, relačních a funkčních symbolů, , kvantifikátorů, termů, atomických formulí a predikátových formulí.
 +
 +
Abeceda je složena z:
 +
 +
1. logických symbolů
 +
a) početné množiny individuálních proměnných: x,y,...,x1,x2,...
 +
b) výrokových logických spojek: ¬,∧,∨,⇒,⇔
 +
c) obecného kvantifikátoru (každý)  ∀ a existenčního kvantifikátoru (některý) ∃
 +
 +
2. speciálních symbolů, tj.:
 +
a) množiny P predikátových symbolů (nesmí být prázdná) b) množiny K konstantních symbolů (může být prázdná)
 +
c) množiny F funkčních symbolů (může být prázdná)
 +
 +
3. pomocných symbolů, jako jsou závorky „(, [ ,) ,]􏰀 a čárka „,􏰀.
 +
 +
Pro každý symbol máme dáno přirozené číslo "n" větší nebo rovno 1. Toto číslo nám udává, kolika objektů se daný predikát týká, pro kolik proměnných je funkční symbol dán. Tomuto číslu říkáme četnost nebo též
 +
'''arita''' predikátového symbolu (stručně predikát)nebo funkčního symbolu.
 +
 +
Predikáty arity 1 jsou zvány monadické predikáty,
 +
predikáty arity 2 jsou binární predikáty
 +
predikáty arity n jsou n-ární (polyadické) predikáty.
 +
 +
==FORMULE==
 +
 +
 +
1, je-li výraz A formule, pak (negace)A je formule.<br>
 +
 +
2, jsou-li výrazy A a B formule, pak výrazy<br>
 +
 +
3, (A  B), (A  B), (A  B), (A  B) jsou formule.<br>
 +
 +
4, je-li x proměnná a A formule, pak výrazy x A a x A jsou formule<br>
 +
 +
 +
'''Atomické formule'''
 +
je-li P n-ární predikátový symbol a jsou-li t1,...,tn termy, pak výraz P(t1,...,tn) je atomická formule. Každá atomická formule je formule.
  
== Syntax výrokové logiky ==
+
==TERMY==
Syntax nebo-li jazyk predikátové logiky se skládá z proměnných, konstant, relačních a funkčních symbolů, predikátů, kvantifikátorů, termů, atomických formulí a predikátových formulí.
 
  
=== Predikáty ===
+
Intuitivně představují objekty, individua.
Jsou nositeli vlastností objektu u kterého jsou uvedeny tj. vypovídají o vlastnostech mezi předměty určeného universa.  
 
  
příklady:
+
Množina termů je definována těmito pravidly:  
 +
i. Každá individuová proměnná je term.
 +
ii. Každá individuová konstanta je term.
 +
iii. Nic jiného není term.
  
Výrok Praha je krásné  město.
+
Příklad převodu přirozeného jazyka do predikátové logiky:
Stanovíme si, že s vlastností "být krásným městem" spojíme predikát "K" a jako symbol pro Prahu určíme "p", větu pak formálně zapíšeme takto: ''K(p)''
 
  
Martin má rád Jitku
+
„všichni“, „žádný“, „nikdo“, ... 
Obdobně jako v předchozím příkladu označíme Martina symbolem "m" a Jitku "j". Binární predikát (tedy vlastnost) označíme symbolem "R" . Celou větu pak zapíšeme jako R(m,j)
+
„někdo“, „něco“, „někteří“, „existuje“, ... 
 +
Větu musíme často ekvivalentně přeformulovat
 +
Pozor: v češtině dvojí zápor !
 +
Žádný student není důchodce: x [S(x)  D(x)]
 +
Ale, „všichni studenti nejsou důchodci“ čteme jako „ne všichni studenti jsou důchodci“:
 +
x [S(x)  D(x)]  x [S(x)  D(x)]

Verze z 24. 4. 2020, 21:11

Predikátová logika nebo-li predikátová logika prvního řádu

Výroková logika se zabývala pravdivostí jednoduchých tvrzení, která byla spojena logickými operátory (spojkami). Predikátová logika toto trochu rozšiřuje, neboť zkoumá vlastnosti a vztahy prvků daných množin. Pomůže lepšímu a přesnějšímu vyjádření vztahu. Jinými slovy si všímá i struktury vět samotných.[1]

Predikátová logika je složena ze dvou klíčových částíSyntax a sémantika. Syntax určuje, jaké kolekce (posloupnosti) symbolů jsou legální výrazy predikátové logiky a sémantika hovoří o významu za těmito výrazy.

Syntax výrokové logiky

ákladem každého jazyka je množina symbolů, kterými tento jazyk disponuje, neboli jeho abeceda.Stejně jako ve výrokové logice musí jazyk predikátové logiky obsahovat symboly označující proměnné. Syntax nebo-li jazyk predikátové logiky se skládá z predikátů, proměnných, konstant, relačních a funkčních symbolů, , kvantifikátorů, termů, atomických formulí a predikátových formulí.

Abeceda je složena z:

1. logických symbolů a) početné množiny individuálních proměnných: x,y,...,x1,x2,... b) výrokových logických spojek: ¬,∧,∨,⇒,⇔ c) obecného kvantifikátoru (každý) ∀ a existenčního kvantifikátoru (některý) ∃

2. speciálních symbolů, tj.: a) množiny P predikátových symbolů (nesmí být prázdná) b) množiny K konstantních symbolů (může být prázdná) c) množiny F funkčních symbolů (může být prázdná)

3. pomocných symbolů, jako jsou závorky „(, [ ,) ,]􏰀 a čárka „,􏰀.

Pro každý symbol máme dáno přirozené číslo "n" větší nebo rovno 1. Toto číslo nám udává, kolika objektů se daný predikát týká, pro kolik proměnných je funkční symbol dán. Tomuto číslu říkáme četnost nebo též arita predikátového symbolu (stručně predikát)nebo funkčního symbolu.

Predikáty arity 1 jsou zvány monadické predikáty, predikáty arity 2 jsou binární predikáty predikáty arity n jsou n-ární (polyadické) predikáty.

FORMULE

1, je-li výraz A formule, pak (negace)A je formule.

2, jsou-li výrazy A a B formule, pak výrazy

3, (A  B), (A  B), (A  B), (A  B) jsou formule.

4, je-li x proměnná a A formule, pak výrazy x A a x A jsou formule


Atomické formule je-li P n-ární predikátový symbol a jsou-li t1,...,tn termy, pak výraz P(t1,...,tn) je atomická formule. Každá atomická formule je formule.

TERMY

Intuitivně představují objekty, individua.

Množina termů je definována těmito pravidly: i. Každá individuová proměnná je term. ii. Každá individuová konstanta je term. iii. Nic jiného není term.

Příklad převodu přirozeného jazyka do predikátové logiky:

„všichni“, „žádný“, „nikdo“, ...  „někdo“, „něco“, „někteří“, „existuje“, ...  Větu musíme často ekvivalentně přeformulovat Pozor: v češtině dvojí zápor ! Žádný student není důchodce: x [S(x)  D(x)] Ale, „všichni studenti nejsou důchodci“ čteme jako „ne všichni studenti jsou důchodci“:

x [S(x)  D(x)]  x [S(x)  D(x)]