Różnice między wybraną wersją a wersją aktualną.
|
pl:miw:piw08_hekateonto:weak_and_strong_negation [2008/05/27 15:37] ikaf utworzono |
pl:miw:piw08_hekateonto:weak_and_strong_negation [2017/07/17 10:08] |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | 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:strong_negation.png|:pl:miw:piw08_hekateonto:strong_negation.png}} - strong negation - expressing explicit negative information or falsity | + | |
