(Note that in this example classical logic is assumed.
(Треба да се напомене дека овој пример ја зема предвид класичната логика.