axiómák Elsőrendű logika - studopediya Az elsőrendű logika képletei propozicionális logika is nehéz leírni a szerkezet mondatok. Ahhoz, hogy leírja a belső szerkezete egyszerű logikai állítások (azaz közlések nem