Matematické Fórum


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

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

#1 10. 01. 2016 22:09

biggest-matematik
Příspěvky: 45
Reputace:   
 

logika vysvetleni zakladu

potřeboval bych pochopit proč je $A\wedge (A\vee B)=A$ myslím že platí asociativita a tak můžu napsat i $A\wedge A\vee B=A$, konjukce má přednost $A\wedge A=A$ a tudíž mi zbyde jen $A\vee B$ a to se nerovná A.

Dál nechápu toto $A\vee (\overline{A}\wedge B)=A+B$

nemůžete to třeba vysvětlit na nějaké běžné větě? (např. $A\vee 0=A$ jsem si zdůvodnil jako: Prší nebo nic, takže prší..)
dík

Offline

 

#2 10. 01. 2016 22:18

zdenek1
Administrátor
Místo: Poděbrady
Příspěvky: 12436
Reputace:   897 
Web
 

Re: logika vysvetleni zakladu

↑ biggest-matematik:

potřeboval bych pochopit proč je $A\wedge (A\vee B)=A$

protože obě strany mají stejnou tabulku pravdivostních hodnot
a nemělo by tam být "rovná se", ale "ekvivalence"

myslím že platí asociativita

jenže asociativita se používá při stených operacích, a to zde není. Takže nikoli.
platí distribuční zákon, ale ten ti je na nic


Pořádek je pro blbce, inteligent zvládá chaos!

Offline

 

#3 10. 01. 2016 22:29

biggest-matematik
Příspěvky: 45
Reputace:   
 

Re: logika vysvetleni zakladu

aha chápu, dík

Offline

 

#4 10. 01. 2016 22:54 — Editoval Pavel (11. 01. 2016 16:01)

Pavel
Místo: Ostrava/Rychvald
Příspěvky: 1828
Škola: OU
Pozice: EkF VŠB-TUO
Reputace:   135 
 

Re: logika vysvetleni zakladu

↑ biggest-matematik:

Nechť $0$ je nepravdivý výrok. Pak

$A\wedge (A\vee B)\ \Leftrightarrow\ (A\vee 0)\wedge(A\vee B)\ \Leftrightarrow\ A\vee(0\wedge B)\ \Leftrightarrow\ A\vee 0\ \Leftrightarrow\ A$


Backslash je v TeXu tak důležitý jako nekonečno při dělení nulou v tělesech charakteristiky 0.

Offline

 

#5 11. 01. 2016 15:14

Wotton
Logik
Místo: Plzeň
Příspěvky: 826
Reputace:   25 
 

Re: logika vysvetleni zakladu

biggest-matematik napsal(a):

konjukce má přednost

Na tohle taky zapomeň;-)


Dva jsou tisíckrát jeden.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson