[💬] 이런 방식의 식(?)을 뭐라고 함?

[익명(219.250)]

명제논리를 추론할때 저런형태의 식같은걸 쓰던데 수리논리학적으로 저걸 뭐라고 정의하고 명명함?

[익명(123.212)]

논리식?

[익명(223.38)]

좌파식추론 - dc App

[익명(222.237)]

논리연산식

[익명(211.114)]

그냥 삼단논법 아냐?