Dysjunkcja (Sheffera): Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
rev., na razie w dyskusji |
→Wybrane własności: niejasne, wycinam, można by pomyśleć nad tym w art. o samym artykule |
||
Linia 32:
: <math> p \rightarrow q \iff p / (q / q) \iff p / (p / q). </math>
Funktor dysjunkcji stanowi jedyny [[termin pierwotny]] rachunku zdań w stylizacji zwanej dysjunkcyjnym rachunkiem zdań. Dysjunkcyjny rachunek zdań jest jedyną formą klasycznego rachunku zdań, w której występuje tylko jeden aksjomat. Aksjomatem tym jest [[aksjomat Nicoda-Łukasiewicza]]
== Bramka logiczna ==
|