96 odpovědí na toto téma

[beeboow]

Když budu mít výrok "DM má pravdu" jeho negace bude "DM nemá pravdu".
A podle tebe negace výroku "DM má vždy pravdu" je "DM má vždy pravdu.  Není pravda, že DM má vždy pravdu.  DM nemá někdy pravdu."
Tá první věta tam snad nemá ani být ne?
Jinak implikace: A´implikuje A´ má nulovou informační hodnotu.

Samozřejmě negace jakéhokoli výrazu by se měla dělat Booleovou algebrou + De Morganovy zákony.

Souhlasím s tebou negace výroku "DM má pravdu" je "DM nemá pravdu".
Negace výroku "DM má vždy pravdu" je podle mě "DM nemá někdy pravdu".
Ta věta mezitím byla pomocná.

mno opak je nikdy ale pokud myslis negaci pak je to- alespon jednou ne -

Tohle je ještě přesnější.

Jak by teda podle tebe měla znít teda negace toho výroku?

Každopádně už nad tím přemýšlím asi půl hodiny a jde mi z toho hlava kolem. Takže si dávám pauzu.

[Freppi Nerisen]

on to znegoval presne podle definice negace vyroku mno a definice se mila freppi nedokazuji

Nedokazují se pouze Axiomy, definice se dokázat dají i když to býva někdy časově náročné...

[Freppi Nerisen]

Souhlasím s tebou negace výroku "DM má pravdu" je "DM nemá pravdu".
Negace výroku "DM má vždy pravdu" je podle mě "DM nemá někdy pravdu".
Ta věta mezitím byla pomocná.
Tohle je ještě přesnější.

Jak by teda podle tebe měla znít teda negace toho výroku? 

Každopádně už nad tím přemýšlím asi půl hodiny a jde mi z toho hlava kolem. Takže si dávám pauzu.

Negace "DM má vždy pravdu" je podle tebe "DM má vždy pravdu. Není pravda, že DM má vždy pravdu. DM nemá někdy pravdu."
Jaké jsou tedy logické spojky mezi těmi třemí větami?

[Ararat]

...

Nenech se zvyklat, máš to dobře, Freppi jen jako obvykle kalí vodu a kouká, co vyplave

[Freppi Nerisen]

Nenech se zvyklat, máš to dobře, Freppi jen jako obvykle kalí vodu a kouká, co vyplave

takže negace "DM má vždy pravdu" je "DM má vždy pravdu" ?

[Ararat]

Nemuzu si pomoct.

kazdy = vzdy ?

Já si myslím, že takové "zjednodušení" si v tomhle případě můžeme dovolit bez obav. Nemusíš se mou souhlasit a dost možná budeš mít i pravdu, ale podle mě to lze považovat za synonyma...

Freppi: slovíčkaříš pěkně, ale z toho co Beebow napsal myslím většině lidí jasně vyplynulo, co z toho má podle něj být negace

[Maslostroj]

takže negace "DM má vždy pravdu" je "DM má vždy pravdu" ?

Bóže děláš si srandu?

Výrok: DM má vždy pravdu.

Negovaný výrok: Není pravda, že DM má vždy pravdu = DM nemá někdy pravdu.

Nevím jestli je to tak, každopádně jsem si jistý, že tohle je to, co chtěl Beeb říct.

A jestli se vymkl nějakému korektnímu zápisu, bez kterého nejsi schopen (respektive ochoten) vidět, co napsal, tak je mi tě líto

[beeboow]

Negace "DM má vždy pravdu" je podle tebe "DM má vždy pravdu.  Není pravda, že DM má vždy pravdu.  DM nemá někdy pravdu."
Jaké jsou tedy logické spojky mezi těmi třemí větami?

Kdyby tam měly bejt logické spojky tak je tam napíšu.

"DM má vždy pravdu" negace "Není pravda, že DM má vždy pravdu"
"DM má vždy pravdu" negace "DM někdy pravdu nemá."

[Wulfgar]

Kdyby tam měly bejt logické spojky tak je tam napíšu.

"DM má vždy pravdu"      negace      "Není pravda, že DM má vždy pravdu"
"DM má vždy pravdu"      negace      "DM někdy pravdu nemá."

no jo, ale netvrdil bych, že negací slova "vždy" je slovo "někdy" , jako negace "vždy" mi víc vyhovuje "nikdy"

[licrydis]

no jo, ale netvrdil bych, že negací slova "vždy" je slovo "někdy" , jako negace "vždy" mi víc vyhovuje "nikdy" 

to je tym ze si sa bud nikdy nestretol alebo nikdy nezamyslel nad formalnou logikou.

[Freppi Nerisen]

Kdyby tam měly bejt logické spojky tak je tam napíšu.

"DM má vždy pravdu"      negace      "Není pravda, že DM má vždy pravdu"
"DM má vždy pravdu"      negace      "DM někdy pravdu nemá."

Proti tomu nic nemám, jenže ty jsi tam napsal tři věty:
"DM má vždy pravdu" negace "DM má vždy pravdu"
"DM má vždy pravdu" negace "Není pravda, že DM má vždy pravdu"
"DM má vždy pravdu" negace "DM někdy pravdu nemá."

A nad existencí první věty se pozastavuji, ačkoli místní experti na logiku tvrdí, že je v pořádku...

[Wulfgar]

to je tym ze si sa bud nikdy nestretol alebo nikdy nezamyslel nad formalnou logikou.

ne to je tim, že ve škole o matice spim

[licrydis]

frepi, my ostatni, co okrem logiky ako tak ovladame aj akusi empatiu na lustenie cudzich prispevkov, vieme, ze ta prva inkriminovana veta nie je ziadnou negaciou, ale iba pomockou aby sa povedalo, co to vlastne ideme negovat. pokial nezacnete pouzivat zatvorky, rovnitka a ine formalne znacky, moc by som to nehrotila.

[Ertai]

jak jkdybych vedel jakou udela moje NEAGCE paseku tak sem nic nenegoval... no tak ja tu negaci neguju...

[Wulfgar]

Ja si myslim, ze nemuzem.

Kazdy vyrok Dm je pravdivy. 
Negace:
Alspon jeden vyrok DM neni pravdivy.

Dm ma vzdy pravdu.
Negace:
Dm nema vzdy pravdu.

hm a šlo by to takhle?
buďto změníš "má" na "nemá" jak si to udělal
nebo změníš "vždy" na "nikdy" a vznikne paskvil "DM má nikdy pravdu."

[licrydis]

jak jkdybych vedel jakou udela moje NEAGCE paseku tak sem nic nenegoval... no tak ja tu negaci neguju...

ty uz radsej nic neneguj

[Ertai]

ty uz radsej nic neneguj

a to jako proč?

[licrydis]

hm a šlo by to takhle?
buďto změníš "má" na "nemá" jak si to udělal
nebo změníš "vždy" na "nikdy" a vznikne paskvil "DM má nikdy pravdu." 

achjaj,
negaciou "vzdy" je "nie vzdy". to ale neznamena nutne "nikdy". "nie vzdy" moze znamenat aj "aspon raz nie" a "nikdy" je prave toho specialny pripad ("kazdy krat nie").
a kedze nie je chytre pouzivat vo vseobecnosti speacialne pripady, preto formalnou negaciu "vzdy ma" je "aspon raz nema".
kapis?

[Ertai]

hele co kdybych prestal NEGOVAT a vy se ti prestaly zabejvat?

[Wulfgar]

achjaj,
negaciou "vzdy" je "nie vzdy". to ale neznamena nutne "nikdy". "nie vzdy" moze znamenat aj "aspon raz nie" a "nikdy" je prave toho specialny pripad ("kazdy krat nie").
a kedze nie je chytre pouzivat vo vseobecnosti speacialne pripady, preto formalnou negaciu "vzdy ma" je "aspon raz nema".
kapis?

jop, ale mam oroto tomu vnitří odpor, asi jako k konjukci, implikaci a tak, proto si to překrucuju

[beeboow]

Proti tomu nic nemám, jenže ty jsi tam napsal tři věty:
"DM má vždy pravdu"      negace      "DM má vždy pravdu"
"DM má vždy pravdu"      negace      "Není pravda, že DM má vždy pravdu"
"DM má vždy pravdu"      negace      "DM někdy pravdu nemá."

A nad existencí první věty se pozastavuji, ačkoli místní experti na logiku tvrdí, že je v pořádku...

Ber to jako logickej sled myšlenek, kterej sem rovnou psal, aniž bych se hluboce zamýšlel nad tím, jestli to u někoho může vzbudit pochybnost o tom, co je vlastně negací výroku. I teď si ale myslím, že je poměrně zřejmý, jak to bylo myšleno. A kdo to vidět nechce, jeho věc.

[Ertai]

boze vy si dokazete vyhrat s kravinou...

[licrydis]

vona to zas tak kravina neni ;)

ono sa to nezda, ale okolo tychto veci sa tocia najzakladnejsie otazky o povahe nasej reality.

ertai&spol : okrem toho, keby na to kaslali aj programatori, ani to nwn by si si asi nezahral.

[Ertai]

by to nějak osra... obešly

[Freppi Nerisen]

Ber to jako logickej sled myšlenek, kterej sem rovnou psal, aniž bych se hluboce zamýšlel nad tím, jestli to u někoho může vzbudit pochybnost o tom, co je vlastně negací výroku. I teď  si ale myslím, že je poměrně zřejmý, jak to bylo myšleno. A kdo to vidět nechce, jeho věc.

Jednoznačnost je to , co tam podle mě prostě chybělo, samotná negace se taky nějak označuje (i když už jsem viděl tři různe druhy značení negace). Pokud je to jen zřejmé, tak samozřejmě může vzniknout spor.