Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

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

#1 09. 10. 2011 13:26 — Editoval Korbulo (09. 10. 2011 13:27)

Korbulo
Příspěvky: 170
Reputace:   
 

Vysvětlění definice.

http://forum.matweb.cz/upload3/img/2011-10/59662_vr%25C2%25B4%25C3%25BDrok.JPG


S podpisem Korbulo.

Offline

 

#2 09. 10. 2011 13:53 — Editoval standyk (09. 10. 2011 14:18)

standyk
Místo: SR
Příspěvky: 770
Škola: UMB BB
Pozice: študent
Reputace:   55 
 

Re: Vysvětlění definice.

↑ Korbulo:
Tá veta hovorí: $\neg (A \vee B) \Leftrightarrow \neg A \wedge \neg B$
Platí aj opačne: $\neg (A \wedge B) \Leftrightarrow \neg A \vee \neg B$

1.)  Zneguješ každú jej časť a namiesto spojky a tam bude alebo
   A =  Prišiel som;   B = Videl som;   C = Zvíťazil som
Z tej definície vieš, že: $\neg (A \wedge B \wedge C) \Leftrightarrow \neg A \vee \neg B \vee \neg C$


2.) To už je implikácia. Vieš ako sa neguje?

Offline

 

#3 09. 10. 2011 14:05 — Editoval Korbulo (09. 10. 2011 14:07)

Korbulo
Příspěvky: 170
Reputace:   
 

Re: Vysvětlění definice.

Takže 1) Přišel jsem nebo  jsem neviděl  nebo  jsem nezvítězil. Akorát nechápu,jak poznám,že mám udělat zrovna negaci konjunkce a ne třeba disjunkce atd..
         

          2) Bohužel nevím...


S podpisem Korbulo.

Offline

 

#4 09. 10. 2011 14:16 — Editoval pepa999 (09. 10. 2011 14:18)

pepa999
Příspěvky: 133
Reputace:   10 
 

Re: Vysvětlění definice.

Protože pokud je mezi výroky spojka "a", tak se jedná o konjunkci($\wedge$). Pokud je mezi nimi "nebo", jedná se o disjunkci($\vee$). Pokud je tam slovní spojení "Jesliže, pak" jedná se o implikaci($\Rightarrow$). A pokud je mezi nimi "právě tehdy, když", jedná se o ekvivalenci($\Leftrightarrow$). Takhle vždycky poznáš, o jaký výrok se jedná. Ještě pokud je před celým výrokem: "Není pravda, že", jedná se o negaci výroku($\neg$).

Offline

 

#5 09. 10. 2011 14:25

standyk
Místo: SR
Příspěvky: 770
Škola: UMB BB
Pozice: študent
Reputace:   55 
 

Re: Vysvětlění definice.

↑ Korbulo:

Áno tú jednotku máš správne. Implikáciu zneguješ ako: $\neg (A \Rightarrow B) = A \wedge \neg B$ Skús teraz podľa toho vytvoriť negáciu tej vety...

Offline

 

#6 09. 10. 2011 14:35

Korbulo
Příspěvky: 170
Reputace:   
 

Re: Vysvětlění definice.

Do kina půjde Petr a Eva a půjde Jana.


Jinak jak jsem psal,že nechápu,jak poznám,že mám udělat zrovna negaci konjunkce a ne třeba disjunkce atd..
Tak to jsem myslel k té první větě,protože tam není spojka a nebo, právě tehhy  atd.. Tak nevím,jestli mám třeba udělat negaci konjukce,disjunkce nebo ekvivalence. .

Jinak Tě prosím styndyku,jestli bys ještě nemohl napsat vzorec pro negaci ekvivalence, disjunkce a konjunkce.

Jinak díky všem za ochotu.


S podpisem Korbulo.

Offline

 

#7 09. 10. 2011 14:46 — Editoval ((:-)) (09. 10. 2011 14:51)

((:-))
Dana
Místo: Bratislava
Příspěvky: 6226
Reputace:   285 
 

Re: Vysvětlění definice.

↑ Korbulo:

To už sú záležitosti jazyka.

Tie vety si predstav so spojkami...



Aby veta nestratila zmysel, patria medzi všetky slová spojky  a:



$\text{spojka} \color {red}  \text{a}\color{black} ..... \text{\color{blue}konjunkcia}$

Offline

 

#8 09. 10. 2011 14:48

pepa999
Příspěvky: 133
Reputace:   10 
 

Re: Vysvětlění definice.

↑ Korbulo:
To ti můžu napsat klidně i já:
$\neg(A \wedge B) \Leftrightarrow \neg A \vee \neg B$
$\neg(A \vee B) \Leftrightarrow \neg A \wedge \neg B$
$\neg(A \Rightarrow B) \Leftrightarrow  A \wedge \neg B$
U ekvivalence jsou dvě možnosti, je jedno kterou zvolíš:
$\neg(A \Leftrightarrow B) \Leftrightarrow  \neg A \Leftrightarrow B$
$\neg(A \Leftrightarrow B) \Leftrightarrow  A \Leftrightarrow \neg B$

Offline

 

#9 09. 10. 2011 14:50

Korbulo
Příspěvky: 170
Reputace:   
 

Re: Vysvětlění definice.

Díky všem za pomoc.


S podpisem Korbulo.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson