Index

Symbols

CG

DG

EG

Ki

Ki operator

ie517_01

L[t]

L[t]u

L[ut]

Lc

ie517_02

Propset of a wff (or a set of wffs)

ie517_03

ie517_04

ie517_05

R operator in FOL

R in FOL

ie517_06

ie517_07

ie517_08

s,

epsilon

epsilon(A, I)

l1

-operator

1

L10

¬

-consistency

(abstract) algebra ...

Get Logic for Computer Science and Artificial Intelligence now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.