kontradikce

[Kontradykce, latina], logika, protiklad, spor a) pravdivostní funkce, která nabývá pro všechny hodnoty argumentů hodnotu „nepravdivý“, tj. výrok typu „p a ne-p“. b) vztah mezi dvěma subjekt-predikátovými výroky opačné kvality a kvantity, například „Všechna S jsou P“ a „Některá S nejsou P“. Ze dvou kontradiktorických výroků je nutně jeden pravdivý, druhý nepravdivý.

Vytvořeno: 14. 3. 2000
Aktualizováno: 16. 9. 2005
Autor: -red-

Odkazující hesla: argumentum a contrario, contradictio.