Základní pojmy a koncepty

• argument
• disjunkce
• dvouhodnotovost
• ekvivalence
• implikace
• kompozicionalita
• konjunkce
• kontradikce
• kvantifikátory
• logický čtverec
• logika
• negace
• neklasické logiky
• pragmatika
• predikát
• predikátová logika
• sémantika
• sylogismus
• syntax
• tautologie
• vyplývání
• výrok
• výroková logika

Základní problémy

• Kdy plyne výrok z jiného výroku nebo výroků?
• Co je negací?
• Co lze odvodit?

• Kdy je argument formálně správný?
• Jak funguje ověření platnosti úsudku metodou protipříkladu?
• Jaký výrok vznikne negováním obecného kladného výroku / obecného záporného výroku / částečného kladného výroku / částečného záporného výroku?