Back to Results
First PageMeta Content
Logical truth / Binary operations / Boolean algebra / Tautology / Logical connective / If and only if / Entailment / Well-formed formula / Truth table / Logic / Propositional calculus / Philosophical logic


Propositional Logic Review John MacFarlane January 24, 2011 The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula. Semantics Defining truth in a model (and, derivativel
Add to Reading List

Document Date: 2011-01-24 19:35:06

Open Document

File Size: 78,50 KB

Share Result on Facebook

IndustryTerm

proof systems / natural deduction systems / /

Person

John MacFarlane / Nuel Belnap / John Etchemendy / Jon Barwise / /

URL

http /

SocialTag