DISZKRÉT MATEMATIKA. Elsőrendű Logika. Minden madár gerinces