Tu zajmujemy się logiką matematyczną. Zaczynamy od wyjaśnienia znaczenia tego terminu oraz od krótkiego opisu historii rozwoju tej dyscypliny z pogranicza matematyki i filozofii od starożytności po czasy współczesne. Wkrótce pojawią się tutaj dalsze informacje dotyczące:
- spójników logicznych,
- rachunku zdań,
- kwantyfikatorów,
- tautologii.