03.04.2014 Views

Logic Strand Lecture 3

Logic Strand Lecture 3

Logic Strand Lecture 3

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!