Formalizace výroků a složené výroky a jejich negace