logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 5934

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

karo
postów: 4
2019-01-14 11:08:27

Zapisz w jezyku 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.

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj