- 논리식,logic_formula
[[원자식,atom]] = atomic_formula
- 리터럴,literal
'''리터럴'''이란, [[원자식,atomic_formula]]([[원자식,atom]]) 혹은 그것의 [[부정,negation]].
- 식,expression
[[formula]] { [[논리식,logical_formula]] [[논리식,logic_formula]] [[논리식,formula]] REL: [[원자식,atom]](atomic_formula) [[명제식,propositional_formula]] .... }
REL: [[원자식,atom]](atomic_formula)
- 아톰,atom
atomic_formula =,atomic_formula -> [[원자식,atom]] (atomic_formula)
atomic_sentence =,atomic_sentence -> curr see [[원자식,atom]] 맨 아래
- 적형식,wff
(1) 모든 [[원자식,atom]]은 '''적형식'''
- 포뮬러,formula
[[원자식,atom]] (= atomic formula)
Found 6 matching pages out of 2032 total pages
You can also click here to search title.
