first-order logic

Creator

Creator

Alan Jo

Created

Created

2021 Apr 30 17:48

Editor

Editor

Alan Jo

Edited

Edited

2023 Jun 6 9:27

Refs

Refs

술어 논리(predicate logic)라 하면 1차 논리를 가리키는 경우가 많다

Recommendations

///