Логика

  • 19 янв. 2013 г.
  • 902 Слова
[pic]
Логика – наука о законах и формах мышления.
Высказывание (суждение) – некоторое предложение, которое может быть истинно (верно) или ложно.
Утверждение – суждение, котороетребуется доказать или опровергнуть.
Рассуждение – цепочка высказываний или утверждений, определенным образом связанных друг с другом.
Умозаключение – логическая операция, в результате которой из одногоили нескольких данных суждений получается (выводится) новое суждение.
Логическое выражение – запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины(объекты). В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0).
Сложное логическое выражение –логическое выражение, составленное из одного или нескольких простых (или сложных) логических выражений, связанных с помощью логических операций.
 


Логические операции и таблицы истинности.|A |B  | F |
| 1 | 1 |1 |
| 1 | 0 |0  |
| 0 | 1 |0  || 0 | 0 |0  |


F = A & B.
Логическое умножение  КОНЪЮНКЦИЯ  - это новое  сложное выражение будет истинным только тогда, когда истинны оба исходныхпростых выражения. Конъюнкция определяет соединение двух логических выражений с помощью союза И.






 
 
|A |B  | F |
| 1 | 1 |1|
| 1 | 0 |1 |
| 0 | 1 |1  |
| 0 | 0 |0  |


F = A + B 
Логическое сложение– ДИЗЪЮНКЦИЯ - это новое сложное выражение будет истинным тогда и только тогда, когда  истинно хотя бы одно из исходных (простых) выражений. Дизъюнкция определяет соединение...
tracking img