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