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

Posty: 4
Lokalizacja: Polska
Zapisz poniższe rozumowania za pomocą symboliki logicznej i udowodnij stosując reguły wnioskowania (wprost lub nie wprost), ze to rozumowanie jest poprawne.
A. Jeżeli będę się uczył lub jestem geniuszem to zdam egzamin. Jeżeli zdam egzmain to będę szczęśliwy. Nie będę szczęśliwy. A wiec nie jestem geniuszem.
B. Jeżeli dostanę prace i będę ciężko pracować to dostanę podwyżkę. Jeżeli dostanę podwyżkę to będę zadowolony. Nie będę zadowolony. Zatem nie dostanę pracy lub nie będę ciężko pracować.
C. Jeżeli moje obliczenia się zgadzają i zaplace rachunek za telefon, to zabraknie mi pieniędzy. Jeżeli nie zaplace rachunku, to wyłączą mi telefon. Zatem, jeżeli nie zabraknie mi pieniędzy i nie wyłączą mi telefonu, to moje obliczeni się nie zgadzają.
Góra
Mężczyzna Offline
PostNapisane: 14 sty 2019, o 22:57 
Administrator

Posty: 23935
Lokalizacja: Wrocław
Ad A.
Oznacz sobie tak:

p - będę się uczył
q - jestem geniuszem
r - zdam egzamin
s - będę szczęśliwy

i teraz postaraj się zapisać symbolicznie schemat rozumowania z tego podpunktu.

Potem udowodnij np. nie wprost, że jest poprawne. Wiesz, na czym polega rozumowanie nie wprost?

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


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Określić funkcję logiczną.  munieslaw  3
 Dowód logiczny.  Anonymous  2
 ocenic wartos logiczna zdania  repciu  4
 Wartość logiczna zdań  Ziutka25  7
 Wartośc logiczna dla praw rachunku kwantyfikatorów  Prz3mo  4
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl