Today, logic is extensively applied in the fields of artificial intelligence and computer science, and these fields provide a rich source of problems in formal and informal logic.
Šiandien logika yra plačiai taikoma Dirbtinio Intelekto ir Kompiuterių mokslų srityse, kurios aprūpina formaliąją bei neformaliąją logiką problrmomis.