Základní pojmy a značky
Spojky
Kvantifikátory
Množiny
Všichni psi, kteří štěkají, nekoušou Příklady (množiny) Karel má sako kS Petr je bohatý pB Někteří psi jsou hodní xPx Všichni psi, kteří štěkají, nekoušou xPxŠx
Příklady (množiny) Každý bohatý sedlák je z Moravy xS xx Není dobré víno, které padá na jazyk* xVxDxP Každý člověk je buď žena, nebo muž xČxŽx Všichni sedláci, kteří nemají povoz nebo traktor, mají nižší výnosy xS ůxPůx xN
Negace výroků s množinami Všichni dobří rodáci se vracejí xR xDxV Znegování kvantifikátoru „Nevšichni“ dobří rodáci se vracejí ůxR xDxV Znegování obsahu a použití komplementárního kvantifikátoru Někteří dobří rodáci se nevracejí xR xDůxV)
Není pravda, že Karel má sako ůkS Petr je bohatý ůpB ůxPx Někteří psi jsou hodní Všichni psi, kteří štěkají, nekoušou ůxPxŠx xPxŠx
Není pravda, že Každý bohatý sedlák je z Moravy ůxS xx xS xůx Každý bohatý sedlák je z Moravy xVxDxP xVůxDxP) Není dobré víno, které padá na jazyk* ůxČxŽx xČůxŽx Každý člověk je buď žena, nebo muž ůxSůxPůxxN xSůxPůxxN Všichni sedláci, kteří nemají povoz nebo traktor, mají nižší výnosy