míg csak Logikai állítások és működése Algebra kimutatások propozicionális algebra javaslatok (egyszerű kijelentéseket) hozzá van rendelve a logikai változók, amelyek jelölése tőke latin betűkkel. Vegyünk két