Matematyka.pl

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

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]}\)

a co oznacza R??

dziki152 pisze:a co oznacza R??

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

Dzieki:) o to mi chodziło;)