What is your answer?

What does it mean to say that this argument is VALID?

    When the cocoa is boiling, remove it from the heat.
    The cocoa is boiling now.
    So remove it from the heat now.
    { 1 } - It means that it would be contradictory for the premises to be true but the conclusion false.
    { 2 } - It means that the conjunction of the premises with the contradictory of the conclusion is inconsistent.

<= back | menu | forward =>
Directions: Click on a number from 1 to 2.
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























1 is wrong. Please try again.

What does it mean to say that this argument is VALID?

    When the cocoa is boiling, remove it from the heat.
    The cocoa is boiling now.
    So remove it from the heat now.

This won't work, since imperatives aren't true or false.

<= back | menu | forward =>
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























2 is correct!

What does it mean to say that this argument is VALID?

    When the cocoa is boiling, remove it from the heat.
    The cocoa is boiling now.
    So remove it from the heat now.
    { 1 } - It means that it would be contradictory for the premises to be true but the conclusion false.
    { 2 } - It means that the conjunction of the premises with the contradictory of the conclusion is inconsistent.

So "imperative logic" is "logic" only in a wider sense of the term. It uses a broader notion of "valid" and "logically entails."

<= back | menu | forward =>
Before continuing, you might try some wrong answers.
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























the end