Логические связи между суждениями.Процесс рассуждения разлагается на отдельные мысли, следующие друг за другом в определенном порядке.Законченная мысль, в которой что- либо утверждается или отрицается, называется суждением.Истинными, например, будут суждения Лилия-растение, Медь электропроводна.Напротив, суждения Кит-рыба, Ртуть легче воды являются ложными.В логике суждения обозначаются буквами.В символических обозначениях суждения, обычно, называют высказываниями.В рассуждениях отдельные суждения связываются в сложные суждения с помощью логических связок.Суждения `p и `q называются отрицанием суждений p и q.Суждения p q - дизъюнкцией суждений p и q.