Item:Q13429: Difference between revisions

Revision as of 18:01, 21 July 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,457 edits ‎Created claim: part of (P7): logic (Q471) ← Older edit	Latest revision as of 18:01, 21 July 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,457 edits ‎Created claim: defining formula (P333): \forall P \forall Q: (P \and \lnot P) \vdash Q
	Property / defining formula
		$\forall P\forall Q:(P\land \lnot P)\vdash Q$ `\forall P \forall Q: (P \and \lnot P) \vdash Q`
	Property / defining formula: $\forall P\forall Q:(P\land \lnot P)\vdash Q$ / rank
		Normal rank