The formal language for classical propositional logic can be expressed using just negation (¬), implication (→) and propositional symbols.
The formal language for classical propositional logic can be expressed using just negation (¬), implication (→) and propositional symbols.
user
Формальну мову класичної пропозиційної логіки може бути виражено з використанням лише заперечення (¬), імплікації (→) та пропозиційних символів.
assistant