Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie

Reguła wnioskowania

STUDIA

  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
5 odpowiedzi w tym temacie

#1 petermus

petermus

    Operator całkujący

  • Użytkownik
  • 307 postów
2
Neutralny

Napisano 10.07.2012 - 11:31

Zbadaj, czy poniższy schemat jest regułą wnioskowania:

\neg p, q \Rightarrow r, r \Rightarrow p \rightarrow  \neg q

Użytkownik petermus edytował ten post 10.07.2012 - 20:56

  • 0

Afroman

    Kombinator

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

Napisano 25.09.2011 - 17:55

#2 janusz

janusz

    Wielki Analityk

  • +Mods
  • 3130 postów
1450
Starszy Wykładowca I
  • Płeć:Mężczyzna

Napisano 10.07.2012 - 19:00

Proszę zapisać poprawnie regułę logiczną.
Ten zapis nie jest poprawny.
  • 0

#3 petermus

petermus

    Operator całkujący

  • Użytkownik
  • 307 postów
2
Neutralny

Napisano 10.07.2012 - 20:57

Poprawiłem, zmieniłem tylko tę strzałkę, reszta jest jak w zadaniu
  • 0

#4 janusz

janusz

    Wielki Analityk

  • +Mods
  • 3130 postów
1450
Starszy Wykładowca I
  • Płeć:Mężczyzna

Napisano 11.07.2012 - 09:40

Załóżmy, że trójka zdań  p_{0}, \ q_{0}, \ r_{0} spełnia lewą stronę reguły.
Stąd
 p_{0} = 0, r_{0} = 1 q_{0} = 1;
 p_{0} =1, \ r_{0} = 0, \ q_{0} = 0;
 p_{0} = 1 \ q_{0} = 1, \ r_{0} = 1.

Sprawdzamy prawdziwość prawej strony reguły
 1 \rightarrow 0 \rightarrow 0;
( 0 \rightarrow 0 ) = 1.
 0 \rightarrow 1 \rightarrow 1
 (1 \rightarrow 1) =1;
 1 \rightarrow 1 \rightarrow 0;
 ( 1 \rightarrow 0) = 0 - fałsz

Podany schemat nie jest regułą wnioskowania.
  • 0

#5 petermus

petermus

    Operator całkujący

  • Użytkownik
  • 307 postów
2
Neutralny

Napisano 11.07.2012 - 09:42

Tylko, że w odpowiedziach mam podane, że jest to reguła wnioskowania
  • 0

#6 janusz

janusz

    Wielki Analityk

  • +Mods
  • 3130 postów
1450
Starszy Wykładowca I
  • Płeć:Mężczyzna

Napisano 11.07.2012 - 13:31

Jeśli schemat jest postaci:
 \neg p , q \rightarrow r, r \rightarrow p \rightarrow \neg q,
to prawa jego strona jest fałszywa dla wartościowania
 p = 1, \ q = 1, \ q =1
więc nie może być regułą wnioskowania.
  • 0





Tematy podobne do: Reguła wnioskowania     x