Talk:Exportation (logic)
This is the talk page for discussing improvements to the Exportation (logic) article. This is not a forum for general discussion of the article's subject. |
Article policies
|
Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||
|
What??[edit]
P implies Q implies R.
Does this mean
- (P implies Q) implies R
or
- P implies (Q implies R)
??
Which is it?? Michael Hardy (talk) 04:35, 18 February 2012 (UTC)
- The latter, according to the quoted source. -- Jitse Niesen (talk) 14:53, 18 February 2012 (UTC)
Proof[edit]
I removed the proof (reproduced below) because it seems to prove the same thing as it assumes at the start.
Proposition | Derivation |
---|---|
Given | |
Material implication | |
Material implication | |
de Morgan's law | |
Material implication | |
de Morgan's law | |
Material implication |
-- Jitse Niesen (talk) 14:53, 18 February 2012 (UTC)
Proposal to merge Import–export (logic) into Exportation (logic)[edit]
Import–export (logic) and Exportation (logic) both discuss importation and exportation, and belong to Category:Theorems in propositional logic as well as Wikipedia:WikiProject Philosophy.
Import–export (logic) focuses on discussion of the topic, including how the rule does not necessarily hold in a non-classical logic. Exportation (logic) is focused on the rule's technical definition and proof.