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-induviduum. 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] Podívejte se také na
- Predikátová logika prvního řádu
- Predikátová logika druhého řádu










