Różnice między wybraną wersją a wersją aktualną.
| Nowa wersja | Poprzednia wersja | ||
|
pl:miw:piw08_hekateonto:weak_and_strong_negation [2008/05/27 15:37] ikaf utworzono |
pl:miw:piw08_hekateonto:weak_and_strong_negation [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | Types of negation (used e.g. in Partial Logic): | + | ==== Types of negation (used e.g. in Partial Logic): ==== |
| * {{:pl:miw:piw08_hekateonto:weak_negation.png|:pl:miw:piw08_hekateonto:weak_negation.png}} - weak negation - expressing negation-as-failure or non-truth | * {{:pl:miw:piw08_hekateonto:weak_negation.png|:pl:miw:piw08_hekateonto:weak_negation.png}} - weak negation - expressing negation-as-failure or non-truth | ||
| * {{:pl:miw:piw08_hekateonto:strong_negation.png|:pl:miw:piw08_hekateonto:strong_negation.png}} - strong negation - expressing explicit negative information or falsity | * {{:pl:miw:piw08_hekateonto:strong_negation.png|:pl:miw:piw08_hekateonto:strong_negation.png}} - strong negation - expressing explicit negative information or falsity | ||
