logic 2-28 - (A→B)v~C)v(D↔~(Q^P)v(F↔G^H0v(Ev~E...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
The fundamental semantic notion: 1. Truth (tautology) (write |= S to indicate tautology) 2. Logical consequence Tautological consequence Write Γ |= S (S is a logical consequence of Γ) Γ = {AvB, A} S = {B} Γ |= S S1 . . . Sn ____ S Fact: The argument with premises Γ and conclusion S is valid just in case Γ|= S.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ((A→B)v~C)v((D↔~(Q^P)v((F↔G^H0v(Ev~E)))) Γ= {P^Q}, S = P P^Q / P P^Q / Q Γ = {P,Q}, S = P^Q P Q Q P __ __ P^Q P^Q Γ={P} S=PvQ P Q __ __ v Intro PvQ PvQ...
View Full Document

This note was uploaded on 04/07/2008 for the course PHILOSOPHY 407 taught by Professor Dean during the Spring '08 term at Rutgers.

Ask a homework question - tutors are online