ლოგიკის ძირითადი ცნებაა გამონათქვამი. გამონათქვამი არის ისეთი წინადადება, რომელიც დასრულებულ აზრს გადმოგვცემს და შეიძლება იყოს ჭეშმარიტი ან მცდარი.