What is your answer?
A valid rule of inference:
{ 1 } - will give a true conclusion when the variables make the premises true.
{ 2 } - has the premises implied in the conclusion.
{ 3 } - cannot have categories for its variables.
{ 4 } - cannot have sentences for its variables.
{ 5 } - is always sound.
<= back | menu | forward =>
Directions: Click on a number from 1 to 5.
1 is correct!
A valid rule of inference:
{ 1 } - will give a true conclusion when the variables make the premises true.
{ 2 } - has the premises implied in the conclusion.
{ 3 } - cannot have categories for its variables.
{ 4 } - cannot have sentences for its variables.
{ 5 } - is always sound.
<= back | menu | forward =>
Before continuing, you might try some wrong answers.
2 is wrong. Please try again.
A valid rule of inference:
{ 1 } - will give a true conclusion when the variables make the premises true.
{ 2 } - has the premises implied in the conclusion.
{ 3 } - cannot have categories for its variables.
{ 4 } - cannot have sentences for its variables.
{ 5 } - is always sound.
<= back | menu | forward =>
3 is wrong. Please try again.
A valid rule of inference:
{ 1 } - will give a true conclusion when the variables make the premises true.
{ 2 } - has the premises implied in the conclusion.
{ 3 } - cannot have categories for its variables.
{ 4 } - cannot have sentences for its variables.
{ 5 } - is always sound.
<= back | menu | forward =>
4 is wrong. Please try again.
A valid rule of inference:
{ 1 } - will give a true conclusion when the variables make the premises true.
{ 2 } - has the premises implied in the conclusion.
{ 3 } - cannot have categories for its variables.
{ 4 } - cannot have sentences for its variables.
{ 5 } - is always sound.
<= back | menu | forward =>
5 is wrong. Please try again.
A valid rule of inference:
{ 1 } - will give a true conclusion when the variables make the premises true.
{ 2 } - has the premises implied in the conclusion.
{ 3 } - cannot have categories for its variables.
{ 4 } - cannot have sentences for its variables.
{ 5 } - is always sound.
<= back | menu | forward =>
the end