Korisnički Kontrolni Panel
Pogledajte svoj profil
Pogledajte svoje postove
ČPP
Prijavite se

Matematički forum na kojem možete da diskutujete o raznim matematičkim oblastima, pomognete drugima oko rešavanja zadataka, a i da dobijete pomoć kada vam zatreba


















Index stranica OSTALE MATEMATIČKE OBLASTI MATEMATIČKA LOGIKA

Tautologija i kontradikcija

[inlmath]\left[p\land\left(q\Rightarrow\lnot p\right)\right]\Leftrightarrow\lnot\left(p\Rightarrow q\right)[/inlmath]

Tautologija i kontradikcija

Postod bakinatajna » Nedelja, 29. Januar 2017, 19:16

Neka su formule [inlmath]A\Rightarrow(A\underline\lor B)[/inlmath] i [inlmath]\neg A\lor B\Rightarrow A[/inlmath] tautologije.
Dokazati da je tada [inlmath]A[/inlmath] tautologija, a [inlmath]B[/inlmath] kontradikcija.
Da li bi neko mogao da mi objasni kako se rade ovi zadaci? Pokušao bih, ali nisam siguran kako.
Hvala unapred :)
Poslednji put menjao Daniel dana Ponedeljak, 30. Januar 2017, 15:38, izmenjena samo jedanput
Razlog: Korekcija Latexa – \veebar zamenjeno sa \underline\lor
BANOVAN (klon)
 
Postovi: 19
Zahvalio se: 6 puta
Pohvaljen: 1 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+

Re: Tautologija i kontradikcija

Postod bakinatajna » Nedelja, 29. Januar 2017, 19:40

Evo jednog pokušaja:
Napravio sam tablicu i dodelio svima vrednost.
Dobijam da je [inlmath]\neg A\lor B[/inlmath] ekvivalentno sa [inlmath]A\Rightarrow(A\underline\lor B)[/inlmath], kao i da su [inlmath]A[/inlmath] i [inlmath]\neg A\lor B\Rightarrow A[/inlmath] takođe ekvivalentni.
Dalje, zaključujem da je [inlmath]\neg A\lor B=1[/inlmath]. Iz toga sledi [inlmath]A\Rightarrow B=1[/inlmath]. I na kraju, to je sve osim toga da je [inlmath]A[/inlmath] tautologija, a [inlmath]B[/inlmath] kontradikcija.
Ne razumem.
Poslednji put menjao Daniel dana Ponedeljak, 30. Januar 2017, 15:41, izmenjena samo jedanput
Razlog: Korekcija Latexa – \veebar zamenjeno sa \underline\lor
BANOVAN (klon)
 
Postovi: 19
Zahvalio se: 6 puta
Pohvaljen: 1 puta

Re: Tautologija i kontradikcija

Postod Daniel » Ponedeljak, 30. Januar 2017, 15:41

Komanda \veebar se ne nalazi u Latex-paketu koji je instaliran na forumu (čudi me da ti je prilikom objavljivanja postova promakla poruka o grešci), ali zato komanda \underline\lor vrši funkciju sasvim dobro.

OK, možeš dokaz izvesti i pomoću tablice (po meni, manje zanimljiv način), ali trebalo je da dobiješ da je prva formula, [inlmath]A\Rightarrow(A\underline\lor B)[/inlmath], ekvivalentna sa [inlmath]\neg A\lor\neg B[/inlmath], a ne sa [inlmath]\neg A\lor B[/inlmath] kako si ti dobio.
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain
Korisnikov avatar
Daniel  OFFLINE
Administrator
 
Postovi: 9300
Lokacija: Beograd
Zahvalio se: 5151 puta
Pohvaljen: 4951 puta

  • +1

Re: Tautologija i kontradikcija

Postod Herien Wolf » Petak, 03. Februar 2017, 11:56

[dispmath]\begin{array}{|c|c|c|c|}\hline
A & B & A\underline\lor B & A\Rightarrow(A\underline\lor B)\\ \hline
a_1 & b_1 & a_1\underline\lor b_1 & 1\\ \hline
a_2 & b_2 & a_2\underline\lor b_2 & 1\\ \hline
a_3 & b_3 & a_3\underline\lor b_3 & 1\\ \hline
a_4 & b_4 & a_4\underline\lor b_4 & 1\\ \hline
\end{array}\\\
\\\
\begin{array}{|c|c|c|c|c|}\hline
A & B & \neg A & \neg A\lor B &\neg A\lor B\Rightarrow A\\ \hline
a_1 & b_1 & \neg a_1 & \neg a_1\lor b_1 & 1\\ \hline
a_2 & b_2 & \neg a_2 & \neg a_2\lor b_2 & 1\\ \hline
a_3 & b_3 & \neg a_3 & \neg a_3\lor b_3 & 1\\ \hline
a_4 & b_4 & \neg a_4 & \neg a_4\lor b_4 & 1\\ \hline
\end{array}[/dispmath] Sad treba samo malo diskutovati.
Diskutujemo prvu tabelu:
Prema osobini implikacije [inlmath]0\Rightarrow N=1[/inlmath] (naravno [inlmath]N[/inlmath] je bilo koja interpretacija neke formule)
Odnosno ako je[inlmath]A=0[/inlmath], tautologija u prvoj tablici je ispunjena za svako [inlmath]B[/inlmath]
Takodje za implikaciju važi [inlmath]1\Rightarrow1=1[/inlmath]
Tako da, ako je [inlmath]A=1[/inlmath], tada [inlmath]A\underline\lor B=1[/inlmath]
Odnosno [inlmath]\neg A=B[/inlmath], a kako smo pretpostavili u ovom slučaju da je [inlmath]A=1[/inlmath], tada je [inlmath]B=0[/inlmath]

Ispitujemo drugu tabelu:
Možemo odmah primetiti jednu stvar, ako je [inlmath]A=0[/inlmath], dobijamo slučaj [inlmath](\neg A\lor B\Rightarrow A)\iff\underbrace{(1\Rightarrow0)}_0[/inlmath]
Odmah vidimo da je to kontradikcija sa činjenicom da je [inlmath]\neg A\lor B\Rightarrow A[/inlmath] tautologija [inlmath]\Rightarrow A=1[/inlmath]
Konačno za drugu tabelu [inlmath]B[/inlmath] može imati bilo koju vrednost, ali na osnovu prve tabele zaključujemo da je [inlmath]B=0[/inlmath], odnosno [inlmath]A[/inlmath] je tautologija, [inlmath]B[/inlmath] je kontradikcija.
[dispmath]\begin{array}{|c|c|}\hline
A & B\\ \hline
1 & 0\\ \hline
1 & 0\\ \hline
1 & 0\\ \hline
1 & 0\\ \hline
\end{array}[/dispmath]
Korisnikov avatar
Zaslužni forumaš
 
Postovi: 231
Zahvalio se: 87 puta
Pohvaljen: 213 puta


Povratak na MATEMATIČKA LOGIKA

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 30 gostiju


Index stranicaTimObriši sve kolačiće boarda
Danas je Četvrtak, 28. Mart 2024, 18:47 • Sva vremena su u UTC + 1 sat
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs