Что нужно для того, чтобы дизъюнкция была верной?
Что нужно для того, чтобы дизъюнкция была верной?

Видео: Что нужно для того, чтобы дизъюнкция была верной?

Видео: Что нужно для того, чтобы дизъюнкция была верной?
Видео: Конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика. 2024, Май
Anonim

В союзе оба утверждения должны быть правда чтобы соединение было правда ; но с дизъюнкция , оба утверждения должны быть ложными для дизъюнкция быть ложным. А дизъюнкция false тогда и только тогда, когда оба утверждения находятся ложный; иначе это правда.

Соответственно, что такое дизъюнкция и союз?

Утверждения - это любая фраза, которая может быть помечена как истинная или ложная. Когда два утверждения сочетаются с "и", у вас есть соединение . Для союзы , оба утверждения должны быть истинными, чтобы составной оператор был истинным. Когда ваши два утверждения сочетаются с «или», у вас есть дизъюнкция.

Точно так же, что означает Pvq? v: Это средства "или." Приговор ( ПВХ ) истинно тогда и только тогда, когда p истинно, или q истинно, или (p ^ q) истинно. ->: Это средства "подразумевает". Предложение (p-> q) истинно тогда и только тогда, когда p ложно или q истинно (предложение ((~ p) vq) истинно).

Также нужно знать, какое правило для дизъюнкции или?

В правила из дизъюнктивный силлогизм и сложение возникают непосредственно из того факта, что когда два предложения связаны РАЗЪЕДИНЕНИЕ , утверждается, что по крайней мере один из дизъюнктов истинен. В результате, если мы знаем, что один из дизъюнктов ложен, мы также знаем, что другой разъединять должно быть правдой.

Что такое функциональный аргумент истины?

Обзор. Логическая связка правда - функциональный если правда -значение составного предложения - это функция принадлежащий правда -значение его субпредложений. Класс связок правда - функциональный если каждый из его членов есть. Их значения для различных правда -значения как аргумент обычно даются правда таблицы.

Рекомендуемые: