john7rv

論理学の論理記号には
連言・選言・否定などがあります（もちろん他にもあります）
論理プログラミングであるPrologでは
これらを扱えます

連言は

,

で表します

A∧B

は

A,B.

です
複数の連言も扱えます

A,B,C,D,E.

は

A∧B∧C∧D∧E.

となります

選言は

;

です

A∨B

は

A;B.

となります

否定は

not().

です
二重否定は

not(not()).

となります