Matematické Fórum

Dobrý den,
chtěl bych poprosit o pomoc s následujícím příkladem:


a) Binární logické spojky: konjunkce, disjunkce, implikace, ekvivalence
b) Unární logické spojky: negace
c) Výroková konstanta: symbol, kterým zapisujeme konkrétní jednoduchý výrok
d) Výroková proměnná: symbol, který zastupuje nějaký možný jednoduchý výrok
e) Pomocné znaky: závorky

Tak a), b), e) je jasný
Co se týče d), tak to je naše věta: tedy výrok a = Petr šel večer do práce
Co je ale c)???

Děkuju za odpověď :)