A predikátumok logikájának egyenértékű képletei - stadopedia
A predikátumok logikájának két képletét egyenértékűnek tekintik egy adott tartományban, ha ugyanazokat a logikai értékeket veszi fel a benne foglalt változók összes értékére.
A predikátumok logikájának két formulája egyenértékű, ha egyenértékűek minden tartományban.
Nyilvánvaló, hogy a proposicionális algebra egyenértékűségének minden formulája igaz, ha változók helyett változik a predikátumok logikájának képletei. De. emellett a predikátumok logikájának egyenértékűsége megtörténik:
De Morgan törvénye:
A kettős tagadás törvénye:
Az önkényes utasítás (egy változóhoz nem kapcsolt predikátum) a következő egyenértékű képletek tarthatók:
A változók változásának képletei (ahol és egy tématerületről):
A predikátum predikátum normális alakja
A predikátum formula normális formában van, ha csak a kapcsolódási, diszjunkciós és kvantáló műveletek műveleteit tartalmazza, és a negáló műveletet egy elemi predikátumra utalják.
Adjuk meg a predikátumot. Hozd el ezt a predikátumot a normális alakhoz
A predikátum predikátum normál formája egy normál predikátumforma, amelyben a kvantáló operátorok nincsenek jelen, vagy a logika algebra műveletei után használják.
Hozza elő a predikátumot az előző példából a predikátum normális alakjához