Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie
        STUDIA        

Wynikanie logiczne, tautologie

Rachunek zdań

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

#1 Science100

Science100

    Ułamek

  • Jr Użytkownik
  • 6 postów
0
Neutralny
  • Płeć:Mężczyzna

Napisano 16.06.2019 - 20:15

Prawo Claviusa  (jeżeli zdanie wynika ze swojego zaprzeczenia, to jest prawdziwe)

(\neg p\Rightarrow p)\Rightarrow p\

Prawo Dunsa Szkota  (jeżeli zdanie jest fałszywe, to wynika z niego każde inne zdanie)

 \neg p\Rightarrow (p\Rightarrow q)\    

Nie mogę zrozumieć na czym polegają te prawa. Pierwsze prawo mówi: "jeżeli zdanie wynika ze swojego zaprzeczenia " ale które zdanie skoro tam widzę dwa wynikania? Drugie prawo : "jeżeli zdanie jest fałszywe, to wynika.." Skąd wiadomo że \neg p  jest fałszywe ? 


Użytkownik Science100 edytował ten post 16.06.2019 - 20:16

  • 0

Afroman

    Kombinator

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

Napisano 25.09.2011 - 17:55

#2 Jarekzulus

Jarekzulus

    Wielki Analityk

  • +Mods
  • Redaktor
  • 4210 postów
3410
Profesor
  • Płeć:Mężczyzna

Napisano 17.06.2019 - 07:17

Nigdzie nie ma, że jest fałszywe - \neg oznacza jedynie negazcję zdania (tj. zaprzeczenie)

 

Tam jest mowa, że jeżeli jeżeli zdanie jest fałszywe, to wynika z niego każde inne zdanie czyli z fałszywego możesz wnioskować co chcesz dlatego ważne by wnioskować z prawdy - taką mądrość życiowa :)


  • 2

:wave: :wave: :wave: Jeśli rzuciłem choć promyczek światła na problem który postawiłeś - podziękuj. pre_1433974176__syg.jpgNad kreską


#3 Science100

Science100

    Ułamek

  • Jr Użytkownik
  • 6 postów
0
Neutralny
  • Płeć:Mężczyzna

Napisano 17.06.2019 - 15:54

Dla np takiego przykładu:  p : x \in \emptyset  jest zdaniem prawdziwym czyli \neg p jest zd fałszywym i na podstawie tego zdania tworzę taką implikację x \in \emptyset \Rightarrow q    

q tutaj może być zdaniem fayszywym lub prawdziwym?


  • 0