Różnice
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) |
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 |