Понятие о пропозициональных союзах


Логические союзы, посредством которых образуются логические суждения, называются пропозициональными. Всего выделено 5 союзов, которые используются в логике.

1.  Союз конъюнкции «и». Обозначается «^» : p^q. Этот союз называется союзом соистинности, то есть все суждения, соединяемые этим должны быть истинными. Это такая связь исходных суждений, при которой они полагаются истинными.

2.  Союз слабой дизъюнкции «или». Обозначается «p√q». Она истинна в том случае, когда истинно хотя бы одно из исходных суждений.

3.  Сильная (строгая, исключающая) дизъюнкция «либо-либо». Обозначается «p┴q» Истинна тогда, когда  только одно из исходных суждений истинно, а другое ложно. Она исключает соистинность суждений.

4.  Импликация «если – то». Обозначается «p→q» Это логический союз, объединяющий два исходных суждения таким образом, что истинность первого исключает ложность второго. Она может объединять только два простых суждения. Невозможно менять суждения местами. p – Антецедент и q-консеквент.

5.  Экививаленция «если, и только если – то». Обозначается «р↔q». Если число чётное, то оно делиться на 2.

Комментарий: простые суждения обозначаются строчными латинскими буквами.



Категория: Новости. Дата публикации: 6 Март, 2010.