Prawa rozdzielnosci

guardiola · Post autor: **guardiola** » 11 sty 2006, o 18:22

czy moglby mi ktos podac nazwy i podstawowe prawa rozdzielnosc
chodzi mi tu o np prawo rozdzielnosci koniunkcji wzgledem rownowaznosci

Post autor: **Lady Tilly** » 12 sty 2006, o 08:14

Zaprzeczenie równoważności:
\(\displaystyle{ \sim(p{\Leftrightarrow}q)\Leftrightarrow[\sim(p{\Rightarrow}q)]\vee[\sim(q{\Rightarrow}p)]\Leftrightarrow[p{\wedge}({\sim}q)]\vee[q{\wedge}({\sim}p)]}\)
prawo rozdzielności koniunkcji względem alternatywy:
\(\displaystyle{ [p{\wedge}(q{\vee}r)]\Leftrightarrow[(p{\wedge}q)\vee(p{\wedge}r)]}\)
prawo rozdzielności alternatywy względem koniunkcji:
\(\displaystyle{ [p{\vee}(q{\wedge}r)]\Leftrightarrow[(p{\vee}q)\wedge(p{\vee}r)]}\)
istnieje jeszcze coś takiego jak prawo eliminacji równoważności:
\(\displaystyle{ (p{\Leftrightarrow}q)\Leftrightarrow[(p{\Rightarrow}q)\wedge(q{\Rightarrow}p]}\)

dziki152 · Post autor: **dziki152** » 5 paź 2008, o 21:03

a co oznacza R??

mydew · Post autor: **mydew** » 6 paź 2008, o 16:52

dziki152 pisze:a co oznacza R??

Nie wiem czy o to ci chodzi, ale
\(\displaystyle{ p, q, r}\) to oznaczenia zdań logicznych.

dziki152 · Post autor: **dziki152** » 6 paź 2008, o 20:52

Dzieki:) o to mi chodziło;)