Logica: verschil tussen versies
Uit FOK!wiki
k (Layout) |
k (Nogmaals layout :')) |
||
Regel 2: | Regel 2: | ||
* Een bepaalde uitspraak u kent een tegenpool: ?u | * 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. | * 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. | ||
Regel 11: | Regel 11: | ||
* Tussen twee uitspraken u en v kan disjunctie optreden; dit dient genoteerd te worden met u?v. | * 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. | 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. | |
[[Categorie:WFL]] | [[Categorie:WFL]] |
Versie van 3 dec 2005 om 16:36
- 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.