В естественном языке дизъюнкции соответствует союз "или":
В естественном языке конъюнкции соответствуют союзы "и", "а", "но", "однако" и т. д.:
В естественном языке отрицанию соответствует выражение "неверно, что...".
В языке суждения выражаются посредством повествовательных предложений:
Дизъюнкция обозначается знаком:
Закон достаточного основания гласит: всякая истинная мысль должна иметь достаточное основание:
Закон исключенного третьего гласит: из двух противоречащих одно другому суждений одно обязательно истинно:
Импликации в естественном языке соответствует союз "если..., то...":
Импликация обозначается знаком:
Контрфактические высказывания - условные высказывания, выраженные в сослагательном наклонении:
Конъюнкция обозначается знаком:
Наиболее употребительные логические связки - отрицание, конъюнкция, дизъюнкция, импликация:
Отрицание обозначается знаком:
По закону противоречия два противоположных суждения не могут быть одновременно истинными:
По закону тождества всякая мысль в процессе рассуждения должна оставаться тождественной самой себе:
По качеству связки простые суждения разделяются на:
Предикат суждения - понятие о признаке или состоянии, наличие или отсутствие которого отображается в суждении:
Предикат суждения принято обозначать буквой:
Простые суждения разделяются на утвердительные и отрицательные по качеству связки:
Простым называется суждение, не содержащее логических связок:
Сложными называют суждения, содержащие логические связки и состоящие из нескольких простых суждений:
Субъект и предикат - два понятия, входящие в состав суждения:
Субъект и предикат, стоящие в определенном отношении, связывает:
Субъект суждения - понятие о предмете нашей мысли:
Субъект суждения принято обозначать буквой:
Суждение есть такая форма мысли, в которой что-либо утверждается или отрицается о существовании предметов и явлений, связях между предметами и их свойствами или отношении между предметами:
Суждения бывают: общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные:
Суждения делятся по количеству на:
Суждения подразделяются на общие и частные в зависимости от того, обо всем объеме идет речь в суждении или о его части:
Суждения, так или иначе оценивающие характер утверждаемой связи, называются модальными: