Dysjunkcja (Sheffera): Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
→Wybrane własności: Poprawa niedokończonej definicji koniunkcji |
|||
Linia 28:
Inne funktory logiczne definiowane są w sposób następujący:
: <math> \neg p \iff p / p, </math>
: <math> p \wedge q \iff \neg \neg (p \wedge q) \iff \neg (p / q) \iff (p / q) / (p / q), </math>
: <math> p \vee q \iff \neg \neg (p \vee q) \iff \neg ((\neg p) \wedge (\neg q)) \iff \neg ((p / p) \wedge (q / q)) \iff (p / p) / (q / q), </math>
: <math> p \rightarrow q \iff p / (q / q) \iff p / (p / q). </math>
| |||