Predikátová logika
Z Wikipedie, otevřené encyklopedie
V matematice a logice se pojmem predikátová logika označuje formální odvozovací systém používaný k popisu matematických teorií a vět.
Predikátová logika je rozšířením výrokové logiky (ta nedokáže vyjádřit některá složitější tvrzení o matematických strukturách). Do této logiky přidává kvantifikátory a vztah predikát-individuum. Individuum je prvek z nějaké množiny a predikát je relace na této množině.
[editovat] Odvozovací pravidla
Místo 
(resp. 
) se často používá 
(resp. 
), kde 
je existenční kvantifikátor a 
je univerzální kvantifikátor.
[editovat] Související články
- Predikátová logika prvního řádu
- Predikátová logika druhého řádu
