Logica

Uit FOK!wiki
Versie door Alicey (overleg | bijdragen) op 3 dec 2005 om 16:35 (Layout)
Ga naar: navigatie, zoeken
  • 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?v. Dit betekent dat ze met elkaar verbonden zijn in een zgn. EN-voorwaarde.
  • Alleen als u en v beiden waar zijn, is ook u?v waar. In alle andere gevallen is u?v niet waar.
  • Tussen twee uitspraken u en v kan disjunctie optreden; dit dient genoteerd te worden met u?v.

Dit betekent dat ze met elkaar verbonden zijn in een zgn. OF-voorwaarde.

  • Als minimaal ��n van de twee uitspraken u en v waar is, is ook u?v waar.
  • Een afwijkende vorm van disjunctie is exclusieve disjunctie. Hierbij is u?v`enkel waar wanneer of u of v waar is, maar niet als beiden waar zijn.