logical implication (Q8134): Difference between revisions

Revision as of 09:48, 2 May 2023

logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right

Language	Label	Description	Also known as
English	logical implication	logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right	material consequence implication material implication simply implication implies conditional material conditional ⇒ ⟹ → ⟶ if-then

0 references

0 references

P\rightarrow Q

0 references

Revision as of 09:48, 2 May 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 149,946 edits ‎Created claim: instance of (P2): Boolean function (Q2444) ← Older edit	Revision as of 09:48, 2 May 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 149,946 edits ‎Created claim: defining formula (P333): P \rightarrow Q Newer edit →
	Property / defining formula
		$P\rightarrow Q$ `P \rightarrow Q`
	Property / defining formula: $P\rightarrow Q$ / rank
		Normal rank