Matches in Wikidata for { <http://www.wikidata.org/entity/Q1077442> ?p ?o ?g. }
- Q1077442 P1542 Q1077442-1e106a86-48e4-1f2c-f214-dd0ee93a64a4 @default.
- Q1077442 P2534 Q1077442-52818B0B-C3AF-4E68-A69E-91E2A2C16E1C @default.
- Q1077442 P279 Q1077442-30a65220-4de1-af60-0153-e854fdb048e4 @default.
- Q1077442 P31 Q1077442-0530d8c0-4022-813e-1a64-0964f35097f6 @default.
- Q1077442 P373 Q1077442-10643880-0B61-437D-8D66-0E2751384908 @default.
- Q1077442 P6104 Q1077442-55797F0A-B4CF-49FC-BF62-AB3A96720270 @default.
- Q1077442 P6366 Q1077442-56FD3376-A058-496C-9B1F-B86404723804 @default.
- Q1077442 P646 Q1077442-2D9B7571-7F1E-4D96-AC25-F20095224075 @default.
- Q1077442 P7235 Q1077442-4c3ad0fc-485f-f4c8-c3cc-ba5054583acc @default.
- Q1077442 P7235 Q1077442-b2878924-4527-c7a0-7541-1a21f1d52867 @default.
- Q1077442 P8313 Q1077442-554D2745-0265-4A09-BD5D-B74739520D7F @default.
- Q1077442 P6366 164239147 @default.
- Q1077442 P1417 "topic/contraposition" @default.
- Q1077442 P1542 Q20014476 @default.
- Q1077442 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle (A\to B)\iff (\neg B\to \neg A)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">→<!-- → --></mo> <mi>B</mi> <mo stretchy="false">)</mo> <mspace width="thickmathspace" /> <mo stretchy="false">⟺<!-- ⟺ --></mo> <mspace width="thickmathspace" /> <mo stretchy="false">(</mo> <mi mathvariant="normal">¬<!-- ¬ --></mi> <mi>B</mi> <mo stretchy="false">→<!-- → --></mo> <mi mathvariant="normal">¬<!-- ¬ --></mi> <mi>A</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (A\to B)\iff (\neg B\to \neg A)}</annotation> </semantics> </math>" @default.
- Q1077442 P279 Q1156402 @default.
- Q1077442 P31 Q1068763 @default.
- Q1077442 P373 "Contraposition" @default.
- Q1077442 P6104 Q8487137 @default.
- Q1077442 P6366 "164239147" @default.
- Q1077442 P646 "/m/0277s2n" @default.
- Q1077442 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A}</annotation> </semantics> </math>" @default.
- Q1077442 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle B}</annotation> </semantics> </math>" @default.
- Q1077442 P8313 "kontraposition" @default.