theoretical definition examples in logic - Search