2.2. Verification test on the topic Logic of statements Question 1. Establish a correspondence between the statement
2.2. Verification test on the topic "Logic of statements" Question 1. Establish a correspondence between the statement and the formula of logic of statements, if a - "Peter loves to sing", b - "Ivan loves to dance", c - "The weather is nice outside", d - "Everyone went for a walk", "it is raining". 1) "Everyone went for a walk if d) (if)-> a it is not raining" 2) "Either Ivan loves to dance, or Peter loves to sing, b) a+b+c or the weather is bad outside" 3) "The weather is nice outside only if b)c d) when it is not raining or everyone went for a walk" Question 2. Establish a correspondence between the statement
Shustr_7967 28
Между высказываниями и формулами логики высказываний можно установить следующую соответствие:1) "Everyone went for a walk if it is not raining" соответствует формуле \(d \rightarrow \neg a\), где \(d\) - "it is raining", а \(\neg a\) - "не Петр поет".
2) "Either Ivan loves to dance, or Peter loves to sing, or the weather is bad outside" соответствует формуле \(b \vee a \vee \neg c\), где \(b\) - "Ivan loves to dance", \(a\) - "Peter loves to sing", а \(\neg c\) - "погода на улице плохая".
3) "The weather is nice outside only when it is not raining or everyone went for a walk" соответствует формуле \(c \rightarrow (d \vee \neg d)\), где \(c\) - "погода на улице хорошая", а \(d \vee \neg d\) означает "или идет дождь, или никто не пошел гулять".
Вопрос 2. Установите соответствие... (продолжение задания)