Matematické Fórum


❗1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

Nejste přihlášen(a). Přihlásit

Stránky: 1

 

#1 12. 10. 2015 19:01 — Editoval jelena (12. 10. 2015 21:00)

ulrich
Zelenáč
Příspěvky: 6
Reputace:   0 
 

logicky dosledok

Ahoj mam tabulku : T ako tautologia
$\perp|A\wedge B|A|B|A\vee B|T$
a lich hodnotz
0  1 1 1 1 1
0  0 1 0 1 1
0  0 0 1 1 1
0  0 0 0 0 1

Jelena: edit TeX
$\perp := A \wedge  B := A := A \vee B := $

původní zápis, který jsem opravovala                Zobrazit/skrýt!


preco je $A\wedge B$ logickym dosledkom kontradikcie? ved plati ze B je logickym dosledkom A ked v hodnode v(A)=1 je aj v(B)=1 , a kontradikcia ma same nuly. DIk za odpoved

Offline

 

#2 13. 10. 2015 10:19 — Editoval Sherlock (13. 10. 2015 10:20)

Sherlock
Příspěvky: 860
Škola: PřF MUNI
Pozice: student
Reputace:   33 
 

Re: logicky dosledok

Promiň, ale vůbec ti nerozumím.

Ale řekl bych, že jelikož $\perp\Rightarrow M$ je pravdivý výrok pro libovolné tvrzení $M$, logickým důsledkem kontradikce je cokoliv.

Offline

 

#3 13. 10. 2015 12:09

byk7
InQuisitor
Příspěvky: 4713
Reputace:   221 
 

Re: logicky dosledok

↑ Sherlock: A co když $M$ samotné bude kontradikce? Pak budeme mít implikaci $1\Rightarrow0$ a ta neplatí.

Příspěvky psané červenou barvou jsou moderátorské, šedá je offtopic.

Offline

 

#4 13. 10. 2015 15:31

Eratosthenes
Příspěvky: 3111
Reputace:   140 
 

Re: logicky dosledok

↑ byk7: ↑ ulrich:

Pozor! Kontradikce má hodnotu nula, takže jejím důsledkem ( kontradikce => ....) může být cokoliv:

0 => 0 

je pravda a

0 => 1 

je taky pravda.

Takže i konjunkce čehokoliv je důsledkem kontradikce.

Budoucnost patří aluminiu.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson