következtetési szabályok

  • 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