Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions

Content deleted Content added
Undid revision 311442233 by EmilJ (talk)
Line 176:
|'''{{tl|tee}}'''
|\vdash
|[[TurnstileTee (symbol)]]
|-
|Semantic Entailment