Высказывания и логика (символы, отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность)

Прежде чем обсуждать различные символы, используемые в логике, мы дадим определение простому и составному утверждению. Мы введем понятие отрицания и найдем отрицание простых утверждений. Мы обсудим конъюнкцию, дизъюнкцию, условное и биконъюнктивное утверждения, а также приведем несколько примеров!