Template
:
Formal Logic/Sentential Logic TOC
From Wikibooks, open books for an open world
(Redirected from
Template:Formal Logic:Sentential Logic TOC
)
Jump to navigation
Jump to search
For book
Formal Logic
.
Sentential Logic
Informal Overview
Goals
The Sentential Language
Syntax
Formal Syntax
Informal Conventions
Semantics
Formal Semantics
Truth Tables
Validity
Expressibility
Properties of Sentential Connectives
Substitution and Interchange
Natural Language Translations
Translations
Derivations
Derivations
Inference Rules
Constructing a Simple Derivation
Subderivations and Discharge Rules
Constructing a Complex Derivation
Theorems
Derived Inference Rules
Disjunctions in Derivations
Category
:
Book:Formal Logic/Templates
Navigation menu
Personal tools
Not logged in
Discussion for this IP address
Contributions
Create account
Log in
Namespaces
Template
Discussion
English
Views
Read
Edit source
View history
More
Search
Navigation
Main Page
Help
Browse
Cookbook
Wikijunior
Featured books
Recent changes
Donations
Random book
Using Wikibooks
Community
Reading room forum
Community portal
Bulletin Board
Help out!
Policies and guidelines
Contact us
Tools
What links here
Related changes
Upload file
Special pages
Permanent link
Page information
Get shortened URL
Download QR code
Sister projects
Wikipedia
Wikiversity
Wiktionary
Wikiquote
Wikisource
Wikinews
Wikivoyage
Commons
Wikidata
MediaWiki
Meta-Wiki
Print/export
Download as PDF
Printable version
In other languages
Add links