Overleg:Natuurlijke deductie
Onderwerp toevoegenLaatste reactie: 15 jaar geleden door Maurits
"Gebruik disjunctie (als A→C of B→D, en C en niet-D, dan A; zie ook hypothetisch syllogisme)" Deze uitspraak klopt echt niet! Alsjeblieft, haal hem eruit! Of verander het! Uit 'A→C of B→D, en C en niet-D' kan je niet A afleiden. En dit is ook geen voorbeeld van gebruik disjunctie. Een goed voorbeeld zou zijn: Als A->C en B->C, dan (AVB)->C
- Je hebt gelijk: de hier genoemde regels kloppen van geen kanten. Ik zal vanavond wat uitbreidingen/correcties uitvoeren. (Heb op het moment helaas weinig tijd.) Hoopje 24 mrt 2009 15:19 (CET)
- Dank voor de verbetering van de layout, de uitbreiding met predikaatlogica en de correctie van de disjunctie-gebruiksregel. Die klopte inderdaad niet, ik zat waarschijnlijk een beetje te slapen. --Maurits 25 mrt 2009 12:43 (CET)