Dowód praw de Morgana

Wiader · Post autor: **Wiader** » 5 sty 2006, o 10:07

Korzystając z praw i aksjomatów algebry bÓla dowieść (x + y)` = x` * y`
To pierwsze zadanie na liscie a ja juz miekne.

pozdro fo` all

tomekbobek · Post autor: **tomekbobek** » 5 sty 2006, o 16:36

wezmy dowolny element x.Mamy:

x nalezy (A + B)' nieprawda,ze (x nalezy do A lub x nalezy do B) nieprawda,ze x nalezy do A i nieprawda,ze x nalezy do B x nalezy do A' i x nalezy do B' x nalezy do A'*B'

Pozdrawiam

Wiader · Post autor: **Wiader** » 5 sty 2006, o 16:45

a z praw i aksjomatow algebry boole`a?

droopy · Post autor: **droopy** » 8 sty 2006, o 02:16

po kilku próbach oraz przeszukiwaniu internetu i encyklopedii doszedłem do wniosku, że te prawa można udowodnić tylko za pomocą tabelki 0-1 oczywiście gdy mówimy o logice a nie teorii mnogości....
niech ktoś przyzna mi rację to się lepiej poczuję....

Wiader, mam wrażenie że jesteśmy razem na roku

Wiader · Post autor: **Wiader** » 12 sty 2006, o 17:15

Droopy, no co ty gadasz? Wrocław->Politechnika->Elektronika->Informatyka??

Generalnie znam juz ten dowod, troche mi sie pisac nie chce, zreszta i tak juz po kolokwium z logiki wiec po co

droopy · Post autor: **droopy** » 13 sty 2006, o 21:51

no zgadza się, ja dowód też już znam, nawet na grupie naszego roku pisałem

papiozo · Post autor: **papiozo** » 13 gru 2010, o 10:33

to może podasz linka do tego dowodu?

Post autor: **Jan Kraszewski** » 13 gru 2010, o 14:26

papiozo pisze:to może podasz linka do tego dowodu?

Po pięciu latach?!

JK