Razlika između verzija stranice "Skup (matematika)"
| [pregledana izmjena] | [pregledana izmjena] |
Uklonjeni sadržaj Dodani sadržaj
Odbijena zadnja izmjena teksta (od strane 93.139.209.131) i vraćena revizija 2266403 od Edinwiki |
m Automatsko dodavanje sekcije "Također pogledajte" |
||
Red 190:
Postoji interesantna veza između algebre skupova i algebre iskaza. naime, ako želimo provjeriti tačnost neke skupovne jednakosti tada skupovima A,B,C,... pridružimo iskaze p,q,r,...,jednakosti skupova pridružimo ekvivalenciju iskaza,a podskupu pridružujemo implikaciju iskaza, presjeku skupova pridružimo konjukciju iskaza, uniji skupova pridružimo disjunkciju iskazua, komplemenu skupa pridružimo negaciju iskaza. Tako skupovnu jednakost prevedemo u njoj ekvivalentnu iskaznu formulu, a zatim pomoću tabele istinitosti provjerimo dali je dobijena iskazna formula tautologija ili ne.
== Također pogledajte ==
* [[Niz]]
* [[Taksonomija]]
{{Commonscat|Set theory}}
| |||