Propositional logic: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 20:0220:02, 20 April 2026 1234qwer1234qwer4 talk contribs m 123,130 bytes +54 link author: Joseph Dauben (via WP:JWB) undo Tag: JWB

curprev 00:1300:13, 23 March 2026 TheEssay26 talk contribs m 123,076 bytes −12 some mistake i did undone, why is equivalent and xnor separate anyway? undo Tags: Manual revert Visual edit Mobile edit Mobile web edit
curprev 00:1100:11, 23 March 2026 TheEssay26 talk contribs m 123,088 bytes +12 changed XNOR link to Logical Biconditional undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 12:5012:50, 14 March 2026 Thiagovscoelho talk contribs 123,076 bytes +1,808 Added metalogic section undo Tag: Visual edit

curprev 02:5502:55, 25 December 2025 ~2025-42538-72Temporary account has expired talk 121,268 bytes +10 Logical is a more general concept and includes the classical logic. Classical logic includes propositional logic undo

curprev 12:0812:08, 11 December 2025 Thiagovscoelho talk contribs 121,258 bytes −8 →Axiomatic systems undo
curprev 12:0812:08, 11 December 2025 Thiagovscoelho talk contribs 121,266 bytes +31 →Axiomatic systems undo

curprev 14:2814:28, 14 October 2025 Thiagovscoelho talk contribs 121,235 bytes +384 Reference to different articles on notations undo Tag: Visual edit

curprev 03:3803:38, 10 October 2025 Citation bot talk contribs 120,851 bytes +128 Altered template type. Add: series, title. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo
curprev 03:3503:35, 10 October 2025 Headbomb talk contribs 120,723 bytes −135 prebot undo
curprev 03:3003:30, 10 October 2025 JCW-CleanerBot talk contribs m 120,858 bytes −150 clean up, removed: |journal=SpringerLink undo Tag: AWB

curprev 05:3105:31, 9 October 2025 2601:4c4:c181:1610:e997:3cad:45d9:ff03 talk 121,008 bytes −49 →Semantics via assignment expressions: this parenthetical seems rather redundant undo

curprev 23:2723:27, 25 September 2025 2604:5c80:200:7d36:feb4:a983:86a3:3b8a talk 121,057 bytes +4 →Semantic truth, validity, consequence: Fixed reference tag undo

curprev 16:3116:31, 15 September 2025 OAbot talk contribs m 121,053 bytes +19 Open access bot: doi updated in citation with #oabot. undo

curprev 07:1207:12, 9 September 2025 ALittleClass talk contribs 121,034 bytes +17 linking axiom schema undo

curprev 04:4904:49, 27 August 2025 146.115.46.166 talk 121,017 bytes 0 →top: Fixed typo; the contrapositive switches the premise and conclusion, but both the Polish notation and math had these the wrong way round. undo Tags: Mobile edit Mobile app edit Android app edit App full source

curprev 03:2603:26, 26 August 2025 WikiCleanerBot talk contribs m 121,017 bytes −9 v2.05b - Bot T18 CW#553 - Fix errors for CW project (<nowiki> tags) undo Tag: WPCleaner

curprev 15:3115:31, 9 August 2025 Phil Champ talk contribs 121,026 bytes +91 Finessed MathWorld citations. undo
curprev 13:1313:13, 9 August 2025 Phil Champ talk contribs m 120,935 bytes +10 Corrected grammar. undo Tags: nowiki added Visual edit

curprev 01:2501:25, 4 August 2025 Crisófilax talk contribs m 120,925 bytes +1 →Connective definition methods undo

curprev 17:2717:27, 29 July 2025 Thiagovscoelho talk contribs 120,924 bytes −20 No confusion with predicate calculus is likely now that the page name is changed undo

curprev 14:0314:03, 27 July 2025 Thiagovscoelho talk contribs 120,944 bytes +226 Page rename undo Tag: Visual edit: Switched

curprev 10:0810:08, 26 July 2025 Justlettersandnumbers talk contribs m 120,718 bytes 0 Justlettersandnumbers moved page Propositional calculus to Propositional logic without leaving a redirect: per talk, step 2 of round-robin undo
curprev 06:1206:12, 26 July 2025 InternetArchiveBot talk contribs 120,718 bytes +205 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (Eastmain - 24632 undo

curprev 02:2602:26, 13 July 2025 Hipatius talk contribs m 120,513 bytes −1 Deleted an additional ">". undo

curprev 07:0807:08, 30 June 2025 OAbot talk contribs m 120,514 bytes +125 Open access bot: url-access=subscription updated in citation with #oabot. undo

curprev 15:5115:51, 30 May 2025 2a00:8a60:c010:1::1:103d talk 120,389 bytes +16 →History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift undo

curprev 14:5514:55, 10 May 2025 MANAGAR talk contribs m 120,373 bytes +57 Standardized rendering of formulas where possible undo Tag: Visual edit: Switched

curprev 00:1200:12, 1 May 2025 Citation bot talk contribs 120,316 bytes +24 Added isbn. | Use this bot. Report bugs. | Suggested by Dominic3203 | Linked from User:Mathbot/Most_linked_math_articles | #UCB_webform_linked 880/1913 undo

curprev 21:5821:58, 27 April 2025 Thiagovscoelho talk contribs 120,292 bytes +305 →Syntax: added another name undo Tag: Visual edit

curprev 21:2221:22, 7 April 2025 Marc Schroeder talk contribs m 119,987 bytes −99 →Frege's Begriffsschrift: uniform notation throughout the article undo
curprev 20:5320:53, 7 April 2025 Marc Schroeder talk contribs m 120,086 bytes +57 No edit summary undo
curprev 19:3019:30, 7 April 2025 Marc Schroeder talk contribs 120,029 bytes +3,760 Put the references into a list. List will be alphabetically sorted at a some later moment. undo
curprev 12:3512:35, 7 April 2025 Marc Schroeder talk contribs m 116,269 bytes +124 →External links: added link to article 'Propositional Logic' on Stanford Encyclopedia of Philosophy undo

curprev 07:5007:50, 23 March 2025 Tom Schrijvers talk contribs m 116,145 bytes 0 →Semantic proof systems: fix index in example truth table undo

curprev 10:2210:22, 5 March 2025 Phrygas talk contribs 116,145 bytes +326 The form is valid biconditionally for both conjunction and disjunction undo

curprev 01:2201:22, 25 February 2025 Citation bot talk contribs 115,819 bytes −59 Altered url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by Dominic3203 | Linked from User:Mathbot/Most_linked_math_articles | #UCB_webform_linked 880/1913 undo

curprev 16:0116:01, 4 February 2025 Thiagovscoelho talk contribs 115,878 bytes +360 →Interpretation (case) and argument: name undo Tag: Visual edit
curprev 15:5815:58, 4 February 2025 Thiagovscoelho talk contribs 115,518 bytes −10 →Syntactic proof via axioms undo

curprev 01:5401:54, 24 January 2025 Cedar101 talk contribs 115,528 bytes +143 →Semantic proof systems: replace image with <math> undo
curprev 01:4701:47, 24 January 2025 Cedar101 talk contribs 115,385 bytes +21 →Connective definition methods: fix math italics undo
curprev 01:4501:45, 24 January 2025 Cedar101 talk contribs 115,364 bytes +112 →Semantics via truth tables: fix math italics undo
curprev 01:4301:43, 24 January 2025 Cedar101 talk contribs 115,252 bytes +61 →Semantic proof via truth tables: fix math italics undo

curprev 23:2923:29, 19 December 2024 Farkle Griffen talk contribs m 115,191 bytes +19 Added disambiguation undo Tags: Mobile edit Mobile app edit iOS app edit App section source

curprev 02:5902:59, 16 December 2024 Tule-hog talk contribs 115,172 bytes +393 →Top: correct ref, add/alter lks to clarify, add notes undo
curprev 02:3402:34, 16 December 2024 Tule-hog talk contribs 114,779 bytes +179 →Top: add ref for term usage undo

curprev 23:4723:47, 15 December 2024 Tule-hog talk contribs m 114,600 bytes −19 →Top: use section-url, rm location param undo
curprev 23:4423:44, 15 December 2024 Tule-hog talk contribs m 114,619 bytes +52 →Top: replace url (identical content of book) undo Tag: citing a blog or free web host
curprev 23:4023:40, 15 December 2024 Tule-hog talk contribs 114,567 bytes +998 →Top: rescue old refs from merged Zeroth-order logic undo

curprev 02:5202:52, 12 December 2024 Citation bot talk contribs 113,569 bytes −46 Altered url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_toolbar undo

20 April 2026

23 March 2026

14 March 2026

25 December 2025

11 December 2025

14 October 2025

10 October 2025

9 October 2025

25 September 2025

15 September 2025

9 September 2025

27 August 2025

26 August 2025

9 August 2025

4 August 2025

29 July 2025

27 July 2025

26 July 2025

13 July 2025

30 June 2025

30 May 2025

10 May 2025

1 May 2025

27 April 2025

7 April 2025

23 March 2025

5 March 2025

25 February 2025

4 February 2025

24 January 2025

19 December 2024

16 December 2024

15 December 2024

12 December 2024