Talk:Twelve statements: Difference between revisions
Content deleted Content added
Three-state logic? |
|||
Line 18:
The match when there are only eleven statements might better be thought of as a near miss as the task starts "Given the twelve statements ..." and we are already off-by-one because we are considering having other than twelve? --[[User:Paddy3118|Paddy3118]] 04:39, 21 September 2012 (UTC)
==Logical consequence==
It is arguable that the problem is not well-defined since to solve the problem you must use the technical "material implication" interpretation of statements 4 and 8, rather than the everyday "entailment" interpretation. To understand the difference, consider the false statement "If Jupiter is the largest planet, then ladybugs have spots". The consequent does not follow from the antecedent though both are true. To make (common)sense, the problem should replace the "if A then B" statements by "B or not A" ones. You might say this is nit-picking, but logic is all about being precise in what you say. [[User:TobyK|TobyK]] 13:59, 17 December 2012 (UTC)
|