සැකිල්ල:Models

$\models$

සැකිලි ප්‍රලේඛනය

Double turnstile

See also

Template	Symbol/ result	Term with wikilink
{{All}}	$\forall$	Universal quantifier
{{And}}	$\wedge$	Logical conjunction
{{Eqv}}	$\leftrightarrow$	Logical equivalence
{{Exist}}	$\exists$	Existential quantifier
{{False}}	$\bot$	False (logic)
{{Ident}}	$\equiv$	If and only if
{{Imp}}	$\to$	Material conditional
{{In}}	$\in$	Being an element

Template	Symbol/ result	Term with wikilink
{{Models}}	$\models$	Double turnstile
{{Nand}}	$\uparrow$	Sheffer stroke
{{Nor-}}	$\downarrow$	Logical NOR
{{Not}}	$\neg$	Negation
{{Or-}}	$\lor$	Logical disjunction
{{Tee}}	$\vdash$	Turnstile (symbol)
{{True}}	$\top$	Logical truth
{{Xor}}	$\nleftrightarrow$	Exclusive disjunction

මෙම සැකිල්ලෙහි වැලිපිල්ල (තනන්න | ආදර්ශය) සහ පරික්ෂණ අවස්ථා (තනන්න) පිටුවල, සංස්කාරක වරුන්ට පර්යේෂණ සිදු කල හැක.
සැකිල්ලෙහී උපපිටු.