szukanie zaawansowane
 [ Posty: 2 ] 
Autor Wiadomość
Kobieta Offline
PostNapisane: 13 sty 2019, o 20:59 
Użytkownik

Posty: 4
Lokalizacja: Polska
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.
Góra
Mężczyzna Offline
PostNapisane: 14 sty 2019, o 23:01 
Administrator

Posty: 23933
Lokalizacja: Wrocław
Ad A

Oznacz

\varphi(x)=x\mbox{ jest fizykiem},\\
\psi(x)=x\mbox{ jest matematykiem},\\
\alpha(x)=x\mbox{ jest inteligentny}

i postaraj się zapisać to rozumowanie symbolicznie, używając kwantyfikatorów. A potem po prostu pomyśl, czy według Ciebie to rozumowanie jest poprawne, czy nie.

JK
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 2 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Dowód logiczny.  Anonymous  2
 Dowód praw de Morgana  Wiader  7
 Rachunek zdań - zadanie 11  NogaWeza  4
 Dowód dedukcyjny - kąty i długości boków w trójkącie  ms7  1
 Tautologia rachunku predykatów  tezm  5
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl