Cтраница 1
Новые высказывания могут быть образованы при помощи нескольких или даже всех пяти логических операций, причем каждая из операций может применяться несколько раз. [1]
Новые высказывания могут быть образованы при помощи нескольких или даже всех пяти логических операций, причем каждая из операций может применяться несколько раз. В таких случаях истинность или ложность сложного высказывания в зависимости от истинности или ложности составляющих его высказываний можно установить, построив таблицу истинности сложного высказывания, последовательно используя таблицы истинности логических операций. Составим, например, таблицу истинности для высказываний, имеющих вид ВА. [2]
Отметим, что новые высказывания можно образовывать и из таких высказываний, которые никак не связаны между собой по смыслу. [3]
Отметим, что новые высказывания можно образовывать и из таких высказываний, которые никак не связаны между собой по смыслу. [4]
Отметим, что новые высказывания можно образовывать и из таких высказываний, которые никак не связаны между собой по смыслу. [5]
Q) - это новое высказывание, утверждающее истинность обоих высказываний Р и Q; Р / Q ( читается: Р или Q) - это новое высказывание, утверждающее истинность по крайней мере одного из высказываний Р и Q. Если R - высказывание, то R ( читается: не R, или неверно, что R) - новое высказывание, утверждающее, что R - ложное высказывание. [6]
Сумма А В означает новое высказывание, которое получается соединением А и В союзом или в том смысле, что справедливо, по крайней мере, одно из двух высказываний А или В. Если А - я люблю тебя, а В - ты любишь меня, то А В означает либо я люблю тебя, либо ты любишь меня, либо мы любим друг друга. [7]
А, В имеется А и В новое высказывание, считаемое ложным, если А истинно и В ложно, при всех других логических значениях - истинным. [8]
Первая операция над этими высказываниями представляет собой образование нового высказывания, которое мы будем обозначать А & В и которое истинно тогда и только тогда, когда А и В истинны. [9]
Логическая операция, с помощью к-рой из данного высказывания порождается новое высказывание ( наз. [10]
ЭКВИВАЛЕНТНОСТЬ - логическая операция, позволяющая из двух высказываний получать новое высказывание, истинность которого зависит от обоюдной истинности ( или ложности) первоначальных высказываний. [11]
Логическая операция, с помощью к-рой из данного высказывания порождается новое высказывание ( наз. [12]
Если имеется несколько высказываний, то из них можно образовать различные новые высказывания. При этом исходные высказывания называются простыми, а вновь образованные - сложными. Соответственно из логических переменных можно составлять различные конструкции, которые образуют формулы алгебры логики. [13]
ОТРИЦАНИЕ - логическая операция, в результате которой из данного высказывания А получается новое высказывание не А. [14]
В алгебре высказываний над высказываниями можно производить определенные логические операции, в результате которых получаются новые высказывания. Истинность полученных высказываний зависит от истинности исходных высказываний и использованных для их преобразования логических операций. [15]