Logica
Uit FOK!wiki
Versie door 86.81.15.64 (overleg) op 2 dec 2005 om 20:54
- Een bepaalde uitspraak u kent twee waarden: true (T) of false (F)
- Een bepaalde uitspraak u kent een tegenpool: ?u
- Als u waar is, is ?u per definitie niet waar - Als u zegt: A en B zijn gelijk, dan zegt ?u: A en B zijn niet gelijk - Naar gelijke analogie kan worden gesteld ?(?u): Het is niet waar, dat A en B niet gelijk zijn
- Tussen twee uitspraken u en v kan conjunctie optreden; dit dient genoteerd te worden met u. Dit betekent dat ze met elkaar verbonden zijn in een zgn. EN-voorwaarde: u"<math>\land</math>" v
