Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie
        STUDIA        

Zapisz poniższe rozumowania za pomocą symboliki logicznej i udowodnij stosując reguły wnioskowania (wprost lub nie wprost), ze to rozumowanie jest pop

Rachunek zdań Rachunek kwantyfikatorów

  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
1 odpowiedź w tym temacie

#1 karo1212

karo1212

    Nowicjusz

  • Jr Użytkownik
  • 4 postów
0
Neutralny
  • Płeć:Kobieta

Napisano 14.01.2019 - 11:15

 
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ą.

 


  • 0

Afroman

    Kombinator

  • Użytkownik
3
  • Płeć:Kobieta

Napisano 25.09.2011 - 17:55

#2 sokora

sokora

    Ułamek

  • Użytkownik
  • 5 postów
3
Neutralny
  • Płeć:Kobieta

Napisano 18.09.2019 - 11:18

O ile 'pop' znaczy poprawne, to:

 

1/ Jeżeli będę się uczył lub jestem geniuszem, to zdam egzamin. Jeżeli zdam egzamin, to będę szczęśliwy. Nie będę szczęśliwy. A więc nie jestem geniuszem.

 

u - będę się uczył

g - jestem geniuszem

z - zdam egzamin

s - będę szczęśliwy

 

(u \vee g)\Rightarrow z

z \Rightarrow s

\neg s

------------------------------------

\neg g

 

Dowód założeniowy wprost:

1. (u \vee g)\Rightarrow z   założenie

2. z \Rightarrow s    założenie

3. \neg s    założenie

4. \neg z    modus tollendo tollens 2,3

5. \neg (u \vee g)    modus tollendo tollens 4,1

6. \neg u\wedge \neg g    II prawo de Morgana 5

7. \neg g    OK (reguła odrywania koniunkcji) 5   

Wnioskowanie jest poprawne.

 

 

 


  • 1