Logika

Lógika (grško starogrško λόγος: lógos - beseda, smisel, misel, načelo) je filozofski nauk o mišljenju ter njegovih zakonitostih. Logika v ožjem smislu je znanost o pravilnem sklepanju. Tradicionalno je logika filozofska disciplina, v 19. stoletju pa je postala tudi del matematike in kasneje računalništva.

Logični simboli so nabor znakov:

• veljavno za: ∀ pogoj velja za celotno množico, ∃ pogoj velja za vsaj eno število
• Logična povezava: ∧ konjunkcija, ∨ disjunkcija → implikacija, ↔/≡ vzajemni pogoj, ¬/~/np negacija. V tipkopisju ne uporabljajo vsi teh simbolov enako zavzeto ali dosledno