Rachunek predykatów kar: Zapisz w rachunku predykatów następujące rozumowania i dowolna metoda (wprost lub nie wprost) sprawdź czy są one poprawne. A. Każdy fizyk jest matematykiem i każdy matematyk jest inteligentny. Jan nie jest inteligentny. Zatem Jan nie jest fizykiem. B. Każdy bogaty człowiek jest szczęśliwy. Nie ma człowieka szczęśliwego. Zatem nie ma człowieka bogatego.