Matryca logiczna

pietrov8 · Post autor: **pietrov8** » 17 lis 2011, o 21:05

Witam mam taki przykład:
\(\displaystyle{ p | q \Leftrightarrow \sim p \vee \sim q}\)

i podpunkty do niego:
a) napisz matryce logiczną
b) napisz i udowodnij czy kreska shettera(chyba tak nazywa sie ta kreska niestety nie pamiętam) jest rozdzielna względem koniunkcji
c) zapisz alternatywę za pomocą kreski shettera
d) zapisz kreskę shettera za pomocą koniunkcji

Próbowałem lecz ta kreska zaburzyła mój spokój i pytam się o co kaman...

Post autor: **Jan Kraszewski** » 17 lis 2011, o 23:01

Kreska Sheffera.

Czego konkretnie nie rozumiesz?

JK

pietrov8 · Post autor: **pietrov8** » 18 lis 2011, o 09:45

Już zapoznałem się z definicją lecz nie potrafię udowodnić punktu b

Post autor: **Jan Kraszewski** » 18 lis 2011, o 10:09

Nie umiesz sformułować odpowiedniego prawa rozdzielności czy nie umiesz go udowodnić?

JK

pietrov8 · Post autor: **pietrov8** » 18 lis 2011, o 10:26

Skoro nie mam prawa to skąd mogę wiedzieć czy potrafiłbym go udowodnić

Post autor: **Jan Kraszewski** » 18 lis 2011, o 11:09

A znasz prawo rozdzielności alternatywy względem koniunkcji?

JK

pietrov8 · Post autor: **pietrov8** » 18 lis 2011, o 11:18

Post autor: **Jan Kraszewski** » 18 lis 2011, o 14:01

No to zamień alternatywę na kreskę Sheffera i już będziesz wiedział, co dowodzić.

JK