SOLUTION: Classify the following statement, using any technique you can: ~A ∨ (B ⊃ A) Consistent Contingent statement Tautology Self-contradiction

Algebra.Com
Question 1101165: Classify the following statement, using any technique you can: ~A ∨ (B ⊃ A)

Consistent

Contingent statement

Tautology

Self-contradiction

Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!

Begin the truth table with this:

~A ∨ (B ⊃ A)
 T    T    T
 T    F    T
 F    T    F
 F    F    F


Then do the ~ before the A:

~A ∨ (B ⊃ A)
FT    T    T
FT    F    T
TF    T    F
TF    F    F
*

Then do the ⊃ between B and A

~A ∨ (B ⊃ A)
FT    T T  T
FT    F T  T
TF    T F  F
TF    F T  F
        *

Finally do the v

~A ∨ (B ⊃ A)
FT T  T T  T
FT T  F T  T
TF F  T F  F
TF T  F T  F
   *

A contingent statement is a statement which could logically 
be either true or false.

Since 3 of the lines of the truth table is false and the
others are true, this is a contingent statement.

Edwin

RELATED QUESTIONS

Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
Hello I stuck on this question can you please help? INSTRUCTIONS: Use natural deduction... (answered by Edwin McCravy)
1. N ⊃ (F • A) 2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨... (answered by Edwin McCravy)
Give reasons for the steps, given premises 1, 2 and 3:

1.  X ⊃ (Y ⊃  (answered by Edwin McCravy)
Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)
Formulate a simple geometric statement that can be proven using any combination of the... (answered by CPhill)
Determine whether the following is a statement. If it is, then also classify the... (answered by lynnlo)
Please help me create this proof using the 18 rules of inference. I have been working on... (answered by jim_thompson5910)
Given: (~ p → q) ∨ ~ p This statement is a: A. Biconditional statement B.... (answered by jim_thompson5910)