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.
Zapisz w języku rachunku predykatów następujące rozumowania i dowolna metoda (wprost lub nie wprost) sprawdź czy są one poprawne.
Rozpoczęty przez karo1212, Jan 14 2019 11:15
Rachunek zdań Rachunek kwantyfikatorów
Brak odpowiedzi do tego tematu
#1
Napisano 14.01.2019 - 11:15
Napisano 25.09.2011 - 17:55