Formula q_295 (Q204): Difference between revisions

Latest revision as of 13:00, 20 April 2020

No description defined

Language	Label	Description	Also known as
English	Formula q_295	No description defined

q_295

0 references

\lnot P\to P\iff \lnot (\lnot P)\lor P\iff P

0 references

Revision as of 13:00, 20 April 2020 SchuBot (talk \| contribs) SchuBot, Bots, Bureaucrats, flow-bot, Suppressors, Administrators 4,665 edits ‎Created claim: arqmath formula id (P8): q_295 ← Older edit	Latest revision as of 13:00, 20 April 2020 SchuBot (talk \| contribs) SchuBot, Bots, Bureaucrats, flow-bot, Suppressors, Administrators 4,665 edits ‎Created claim: Defining formula (P1): \lnot P \to P \iff \lnot(\lnot P) \lor P \iff P
	Property / Defining formula
		$\lnot P\to P\iff \lnot (\lnot P)\lor P\iff P$ `\lnot P \to P \iff \lnot(\lnot P) \lor P \iff P`
	Property / Defining formula: $\lnot P\to P\iff \lnot (\lnot P)\lor P\iff P$ / rank
		Normal rank