Logic Strand Lecture 3
Logic Strand Lecture 3
Logic Strand Lecture 3
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
1.5.3. Contingent<br />
Definition: Contingent.<br />
Any statement that is neither a tautology nor a<br />
contradiction is called a contingent or intermediate<br />
statement.<br />
Examples:<br />
Complete the truth table for the statement Q ∨ ( Q ⇒ P)<br />
P Q Q ∨ (Q ⇒ P)<br />
T T T T<br />
T F T T<br />
F T F F<br />
F F T T<br />
Step: 2* 1<br />
WUCT121 <strong>Logic</strong> 48