Математическая логика

Алгебра высказываний Высказывание- это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними.Высказывание может быть либо истинно, либо ложно. В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: «истина» (1) и «ложь» (0).

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

ДИЗЪЮНКЦИЯ Составное высказывание,образованное в результате операции логического сложения(дизъюнкции),истинно тогда,когда истинно хотя бы одно из входящих в него простых высказываний. АВF=AVВ

ИНВЕРСИЯ Логическое отрицание(инверсия)делает истинное высказывание ложным и,наоборот, ложное-истинным. АF=A 01 10

ИМПЛИКАЦИЯ Составное высказывание,образованное с помощью операции логического следования (импликации),ложно тогда и только тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод.(второе высказывание). АВF=A В