09 Slides--Consequence

09 Slides--Consequence - CS103A HO#9 Consequence 1 A B C T...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CS103A HO #9 Consequence 1/18/08 1 A B C ................................. T T T T T T F T T F T T T F F T F T T T F T F T F F T T F F F T Tautologies Main connective Tautologies are sentences that cannot be false, due to their structure and the meanings of the truth-functional connectives they contain. A B C ................................. T T T T T T T F F F T F T F F T F F T T F T T T T F T F F F F F T T T F F F F F Tautological Equivalence We can use test two sentences for tautological equivalence by creating a joint truth table for the sentences and determining whether the values under their main connectives are the same in all rows. S 1 : Main connective S 2 : Main connective ................................. T T T F T F F F T T F F T F T T F T T T F F F F F T T T F F F F Logical Equivalence Two sentences that are not tautologically equivalent are considered to be logically equivalent if the only mismatches under their main connectives occur in rows that are impossible if we consider the meanings of the predicates....
View Full Document

This note was uploaded on 10/01/2011 for the course CS 103A taught by Professor Plummer,r during the Winter '07 term at Stanford.

Page1 / 3

09 Slides--Consequence - CS103A HO#9 Consequence 1 A B C T...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online