Matematikai logika, ítéletkalkulus | mateking