형식논리학에서 ┤ ; → / 이 기호들의 뜻이 뭔가요?

네이버 같은데 쳐봐도 그냥 기호로서 사용된 웹문서만 나와서...

 

 

스2이야기 : 추적자4마리 가격 = 불곰4마리+의료선한기 가격

어...; 오른쪽으로 가다가 올라가세요 (응?)

ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ으악 각각의 뜻을 물어봤는뎈ㅋㅋ

A->B : A라면 B다

A ㅓ B = A는 B로 입증할 수 있다
; 는 무슨 기호인지 모르겠네여
->는 위엣분이 말씀하셨고
/이것도 뭔지 모르겠어요 라텍스에서 쓰는 기호인가?
지난학기에 기호논리학배웟는데 흠 책마다 기호표기법이달라서 잘모르겟어요