Proste zdanie logiczne

marcinq · Post autor: **marcinq** » 28 sty 2006, o 14:56

Mam proste pytanie: jak bedzie brzmieć zaprzeczenie zdania "napis 2 bądź napis 4 jest trafny"?
I jak sastosować w tym przypadku regułe: zaprzedzenie alternatywy jest sumą zaprzeczeń?

ymar · Post autor: **ymar** » 28 sty 2006, o 23:43

Gość pisze:zaprzedzenie alternatywy jest sumą zaprzeczeń

koniunkcją.

ani napis 2, ani napis 4 nie jest trafny.

amator · Post autor: **amator** » 6 mar 2006, o 19:38

ani coś ani coś nie jest trafne - to dla mnie jest tym samym co : coś i coś jest tafne. Język polski jest nielogiczny

Virgo · Post autor: **Virgo** » 7 mar 2006, o 21:36

faktycznie... zaprzeczenie powinno brzmieć: Ani napis 2, ani 4 jest trafny

chlip · Post autor: **chlip** » 7 mar 2006, o 23:15

Przecież ymar dobrze napisał.
Virgo twoje zdanie nie brzmi po polsku.
Bardziej zrozumiałe może być zdanie: napis 2 i napis 4 nie są trafne.

Wizard · Post autor: **Wizard** » 14 cze 2006, o 15:40

marcinq pisze:Mam proste pytanie: jak bedzie brzmieć zaprzeczenie zdania "napis 2 bądź napis 4 jest trafny"?
I jak sastosować w tym przypadku regułe: zaprzedzenie alternatywy jest sumą zaprzeczeń?

W języku polskim zdanie to będzie wyglądać następująco:

nieprawda, że napis 2 bądź napis 4 jest trafny.

Rzeczywiście jest to zaprzeczenie alternatywy, a jak wiemy z prawa de Morgana jest to równoważne koniunkcji zaprzeczeń. Koniunkcja zaprzeczeń będzie więc w tym przypadku brzmieć:

Zarówno napis 2 jak i napis 4 nie są trafne.

Pozdrawiam
Wizard