An operator used in logic to combine two logical formulas. See first order logic.

In addition suitable contents:
[ = ] [ al ] [ am ] [ ar ] [ arc ] [ as ] [ at ] [ b ] [ bi ] [ ca ] [ ch ] [ co ] [ com ] [ de ] [ du ] [ ed ] [ ee ] [ er ] [ era ] [ fi ] [ file ] [ fo ] [ for ] [ formula ] [ gi ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ ir ] [ la ] [ Lex ] [ logical ] [ mo ] [ mod ] [ module ] [ mu ] [ na ] [ ne ] [ om ] [ op ] [ operator ] [ pe ] [ ph ] [ query ] [ rc ] [ re ] [ S ] [ se ] [ st ] [ to ] [ tw ] [ us ]