Main public logs
This is a combined display of all logs except the patrol, review, tag and thanks logs:
- Who performed the action – enter their name without prefix under "Performer".
- The page or user affected by an action – enter the page or user name (prefixed with "User:") under "Target".
- 00:42, 16 May 2024 Thiagovscoelho talk contribs created page Talk:Transposition (logic)/Archive 1 (←Created page with ' ==Same as Contrapositive?== I can't see the difference between transposition (logic) and contrapositive (logic). Should we merge? --Michael C. Price <sup>talk</sup> 09:01, 29 March 2009 (UTC) :No. If you can't see the difference then all our previous discussions has been for naught. You need to pop a little more than books on symbolic logic into your shopping cart. User:Amerindianarts|Amerind...')
- 14:30, 1 May 2024 Thiagovscoelho talk contribs moved page Talk:System L to Talk:Suppes–Lemmon notation (No reliable source for the name "System L")
- 14:30, 1 May 2024 Thiagovscoelho talk contribs moved page System L to Suppes–Lemmon notation (No reliable source for the name "System L")
- 14:53, 29 April 2024 Thiagovscoelho talk contribs created page Talk:Glossary of logic (←Created page with '{{WikiProject banner shell |class=List |1= {{WikiProject Philosophy |importance=Mid |logic=yes}} {{WikiProject Mathematics |class=List |priority=Low}} {{WikiProject Lists |importance=Mid}} }}')
- 14:11, 29 April 2024 Thiagovscoelho talk contribs created page Glossary of logic (Created glossary) Tag: Disambiguation links added
- 12:06, 29 April 2024 Thiagovscoelho talk contribs created page Classical dilemma (←Redirected page to Proof by exhaustion) Tags: New redirect Uncategorized redirect
- 21:48, 27 April 2024 Thiagovscoelho talk contribs created page Multivalent logic (←Redirected page to Many-valued logic) Tag: New redirect
- 20:46, 27 April 2024 Thiagovscoelho talk contribs created page Open term (←Redirected page to Open formula) Tags: New redirect Uncategorized redirect
- 14:08, 27 April 2024 Thiagovscoelho talk contribs created page Sentence letter (←Redirected page to Propositional variable) Tags: New redirect Uncategorized redirect
- 17:35, 26 April 2024 Thiagovscoelho talk contribs created page Talk:List of logic symbols/Archive 1 (←Created page with ' ==Explanation of Material Implication: Overkill?== "A ⇒ B is true only in the case that either A is false or B is true, or both." I wonder about the "or both" clause. It's true, but it's not needed, is it? Doesn't "A is false or B is true" cover the three true cases, without need for the "or both" clause? JimStearns206 (talk) 02:30, 27 February 2015 (UTC) Note (correct) explanation under list of ma...')
- 21:11, 21 April 2024 Thiagovscoelho talk contribs created page Talk:Mereology/Archive 1 (←Created page with '== M8 == Are we sure that M8 corresponds to the ZF axiom of replacement and not the axiom of separation? --NoizHed 22:35, 12 March 2006 (UTC) :M8 says that all individuals satisfying some property φ can be fused together. In standard mereology, one attaches a nonemptiness proviso; there exists at least one individual satisfying φ. The set theory analogue to M8 then is the principle of unrestricted comprehension of naive set...') Tag: Disambiguation links added
- 20:42, 21 April 2024 Thiagovscoelho talk contribs created page Glossary of mereology (Created page)
- 11:47, 20 April 2024 Thiagovscoelho talk contribs created page Talk:Contraposition/Archive 1 (Created archive) Tag: Disambiguation links added
- 18:49, 17 April 2024 Thiagovscoelho talk contribs created page Disjunctive Normal Form Theorem (←Redirected page to Disjunctive normal form#Disjunctive Normal Form Theorem) Tag: New redirect
- 14:16, 16 April 2024 Thiagovscoelho talk contribs moved page Talk:Uncertainty theory to Talk:Uncertainty theory (Liu) (specificity)
- 14:16, 16 April 2024 Thiagovscoelho talk contribs moved page Uncertainty theory to Uncertainty theory (Liu) (specificity)
- 19:15, 15 April 2024 Thiagovscoelho talk contribs created page Template:Diagrams in logic (←Created page with '{{Navbox | name = Diagrams in logic | state = {{{state|{{{1|<noinclude>expanded</noinclude>}}}}}} | title = Diagrams in logic | listclass = hlist |image = 90px | list1style = padding-left:2.0em;padding-right:2.0em; | list1 = * Venn diagram * Square of opposition * Porphyrian tree * Karnaugh map * Binary decision diagram * Propositional directed acyclic graph * Sentential decision diagram * [...')
- 17:33, 15 April 2024 Thiagovscoelho talk contribs created page Template:Normal forms in logic (←Created page with '{{Navbox |name = Normal forms in logic |title = Normal forms in logic |state = {{{state<includeonly>|autocollapse</includeonly>}}} |listclass = hlist |image = 90px |group1 = Propositional logic: |list1 = * Negation normal form * Conjunctive normal form * Disjunctive normal form * Algebraic normal form * Blake canonical form * Canonical normal form |group2 = Predicate logic: |list2 = * S...')