logic 2-28

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

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

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.
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

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern