형들 술어 논리좀 할줄알아? 이거 하나만 답해주셈

[익명(121.128)]

no Man is both engineer and docter 이면

<!--StartFragment-->

∀x[ㄱman(x)=>engineer(X) V docter(X)]

이거 맞아?

[NoOTL(shippuden91)]

V 이건 or 기호 같은데 맨 앞에 기호가 뭔지 모르니까 몰라

[익명(121.128)]

ㄴ 아 거꾸로뒤집어야겟네

[1212(203.252)]

늦게 봤는데, 틀렸네.

[1212(203.252)]

~∀x[man(x)->engineer(x) ㅅ docter(x)]

[1212(203.252)]

ㅅ = 그리고