szukanie zaawansowane
 [ Posty: 1 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 14 lis 2010, o 14:10 
Użytkownik

Posty: 293
Lokalizacja: sam nie wiem
Pokazać, że w systemie hilbertowskim wyprowadzone są reguły dowodzenia:

a) \frac{\Delta \lfloor  \neg p \Rightarrow  \neg q, \Delta \lfloor q}{\Delta \lfloor p}


b) \frac{\Delta \lfloor  \neg  p}{\Delta \lfloor  p \Rightarrow q}
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 1 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Wyciąganie wniosku regułą odkrywania
Jest mi w stanie ktoś wytłumaczyć w jaki sposób rozwiązać takie zadanie?: Stosując regułę odrywania wyciągnij wniosek z następujących przesłanek: (a) ”Jest ujemna temperatura.”, ”Jeżeli jest ujemna temperatura, to woda zamarzła.” Będę bardzo wdzięc...
 Torquenstain  5
 Gentzenowski i Hilbertowski system dowodzenia.
czy mógłby ktoś to wytłumaczyć łopatologicznie? Najlepiej z przykładem. Kompletnie nie rozumiem skąd biorą się aksjomaty. Spoko, mogę je wyprowadzić z tabeli semantycznej ale przecież chyba nie o to tutaj chodzi. Z góry dziękuję za każdą pomoc. ...
 michu151  0
 reguła wnioskowania - zadanie 4
Witam, Przesłanka (zdanie w mianowniku) jest prawdziwa. Jedną z możliwości jest zatem: v(p \wedge g)=1 \wedge v( \neg r)=1 Stąd v(p)=1 \wedge v(g)=1 oraz [t...
 goha512  2
 Dowodzenia twierdzeń
Otóż, dostaliśmy od matematyka coś takiego, aby uzupełnić tzw. "wzory" dowodzeń i po przykładzie do każdego. Wygląda to tak: Z- Założenie T- Twierdzenie 1. Dowodzenie wprost ...
 Pacx  3
 Reguła wnioskowania - zadanie 2
Sprawdź, czy poprawna jest reguła wnioskowania: (p \rightarrow q) \wedge (p \rightarrow \neg r) \rightarrow (q \wedge \neg r) Probowalem to rozwiazac w taki sposob: p \rightarr...
 TenTyp-Autentyk  4
 Reguła dowodznia
Czy aby sprwadzić czy coś jest regułą dowodzenia np. \frac{p \vee p \Rightarrow q}{q} wystarczy pokazać, że \left( p \vee p \Rightarrow q\right) \Rightarrow q jest tautologią ?...
 laewqq  1
 Hilbertowski system dowodzenia.
Cześć, mam niemały problem z przyswojeniem tego materiału z logiki, kompletnie nie wiem jak się za to zabrać, wiem tyle, że są aksjomaty i jedna reguła dowodzenia. Mam do zrobienia kilka przykładów, nie chodzi mi o to, żeby ktoś je rozwiązał tylko w ...
 peterek  1
 Hilbertowski system dowodzenia materialy
Witam, mam niemały problem ze zrozumieniem Hilbertowskiego systemu dowodzenia czy znacie może jakieś dobre podręczniki, zbiory zadań, strony internetowe, które pomogą mi ogarnąć z czym to się je? Za parę dni kolokwium, więc proszę o szybką odpowiedź....
 Nitoken  0
 Reguła wnioskowania - zadanie 5
Właśnie to mam na myśli - w jaki sposób rozwiązywać tego typu przykłady wymagające udowodnienia czy to jest reguła dowodzenia (prawidłowa) czy też nie (niespełniona)....
 namruf15  6
 Sprawdzić czy jest poprawna reguła wnioskowania
Sprawdzić czy jest poprawna reguła wnioskowania przeprowadzając dowód wprost i dowód nie wprost \frac{p \rightarrow q, p \rightarrow \neg q}{ \neg p} Dowód wprost łatwo przeprowadzić ale z dowodem nie wprost to nie wie...
 luk007  6
 Czy dany schemat jest regułą wnioskowania?
Sprawdzić, czy schemat \frac{(p \vee q) \Rightarrow r}{p \Rightarrow r} jest regułą wnioskowania? Uzasadnić swoje stwierdzenie. Jak najprościej sprawdzić, czy coś jest regułą wnioskowania?...
 _Mithrandir  4
 Reguła wnioskowania - zadanie 6
Udowodnić, że jest to reguła wnioskowania. \left \wedge \left \Rightarrow \left[ (p \vee q...
 bob1000  0
 reguły dowodzenia, tautologie i działania na zbiorach
Mam mały problem, zbliża się egzamin poprawkowy, a ja niestety nie bardzo umię rozwiązać przykładowe zadania Niestety sama teoria mi nie pomoże, więc gdyby ktoś z Was mógłby mi pomóc rozwiązać zadania byłbym bardzo wdzięczny... Oto kilka zadań, z ...
 krisstof  6
 Która reguła
Witam, 1. czy reguła sklejania obejmuje takie wyrażenie: ad \neg e + bc + ade = bc + de 2. można to w jakiś sposób skrócić? 3. Czy mając dość duże wyrażenie logiczne, każda droga skracania jego prowadzi do takiego samego...
 skywalker90  0
 Reguły dowodzenia
Nie znalazłem nic na forum na ten temat i w google rowniez jest o tym nie wiele. Chodzi i reguły dowodzenia czyli dochodzenie za pomocą Reguł: Odrywania, Opuszczania i dołączania koniunkcji, Opuszczania i dodawan...
 Dymecki  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com