szukanie zaawansowane
 [ Posty: 4 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 4 paź 2009, o 14:45 
Użytkownik

Posty: 28
Lokalizacja: Polska: d
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

\frac{z,z \Rightarrow t}{t} co zapisujemy (z \wedge z \Rightarrow t) \Rightarrow t

Przykład pominę, bo wiem jak rozpisać.

2. Dowodzenie nie wprost, przez transpozycję
kłopot ze wzorem, czy może być tak, bo w sumie nie ogarniam.

\frac{z, \neg z \Rightarrow  \neg t}{t}  (z \wedge  \neg z \Rightarrow  \neg t) \Rightarrow t

i przykład (3n+2 należy do C \wedge nieparzystych) \Rightarrow n należy do nieparzystych

3. Doprowadzenie do sprzeczności (założenie,zaprzeczenie tezy, doprowadzenie do sprzeczności)

wzór - leżę... :/
przykład - ogarnięty

4. Dowód przez przypadki
wzór - podany mamy :

\frac{z \Rightarrow t,  \neg z \Rightarrow t}{t} co daje[(z \Rightarrow t) \wedge ( \neg z \Rightarrow t)] \Rightarrow t

przykład: 2 jest dzielnikiem n(n+1)

Z góry dzięki.
Góra
Mężczyzna Offline
PostNapisane: 4 paź 2009, o 15:37 
Administrator

Posty: 20611
Lokalizacja: Wrocław
O rany... W szkole średniej? To powinno być karalne... (tzn. nie mówienie o dowodach, ale używanie takich wzorów).

JK
Góra
Mężczyzna Offline
PostNapisane: 4 paź 2009, o 15:49 
Użytkownik

Posty: 28
Lokalizacja: Polska: d
No niestety, mat-inf-ang <3. Na szczęście nauczyciel jest normalny, tj. jak do niego pójdziemy i powiemy, że czegoś nie kminimy to z nami to zrobi, ale dobrze by było to zrozumieć wcześniej, jeżeli chodzi o wzory, bo przykłady już wszystkie mam.
Góra
Mężczyzna Offline
PostNapisane: 4 paź 2009, o 16:11 
Administrator

Posty: 20611
Lokalizacja: Wrocław
Pacx napisał(a):
2. Dowodzenie nie wprost, przez transpozycję
kłopot ze wzorem, czy może być tak, bo w sumie nie ogarniam.

\frac{z, \neg z \Rightarrow  \neg t}{t}  (z \wedge  \neg z \Rightarrow  \neg t) \Rightarrow t

i przykład (3n+2 należy do C \wedge nieparzystych) \Rightarrow n należy do nieparzystych

Raczej

\frac{z, \neg t \Rightarrow  \neg z}{t}.

Przykład ok.

Pacx napisał(a):
3. Doprowadzenie do sprzeczności (założenie,zaprzeczenie tezy, doprowadzenie do sprzeczności)

wzór - leżę... :/
przykład - ogarnięty

Może tak

\frac{z, z\land\neg t \Rightarrow  0}{t}.

(0 do fałsz, można tu wpisać dowolne zdanie zawsze fałszywe)

JK

PS. A miedzy nami mówiąc, to wzory są bez sensu. Najważniejsze jest, by zrozumieć, na czym te dowody polegają. Np. na poziomie szkolnym pomiędzy 2 i 3 w zasadzie nie ma różnicy (pojawia się ona dopiero na poziomie wykładu z logiki matematycznej...).
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 4 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Dowodzenie twierdzeń  sarny  5
 dowodzenie twierdzeń za pomocą klasycznego rachunku zdań  marek244  0
 Gentzenowski i Hilbertowski system dowodzenia.  michu151  0
 dowodzenie twierdzeń - zadanie 17  theoldwest  8
 Hilbertowski system dowodzenia.  peterek  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl