Является ли логическим законом формула?

Question

Если (Если а, то (б или в) и (если г, то б) , то (если (а и не г) , то в) .
Придумайте реалистичное суждение (то, которое имет место быть в реальном мире) по данной формуле.

Answer 1

(Если а, то (б или в) и (если г, то б) , то (если (а и не г) , то в)
 
Посмотрим, что это значит шаг за шагом:
 
Если а, то (б или в) : Если утверждение а истинно, то хотя бы одно из утверждений б или в истинно.
Если г, то б: Если утверждение г истинно, то б тоже истинно.
Если (а и не г) , то в: Если а истинно и г ложно, то в истинно.
Теперь рассмотрим реалистичное суждение, которое сответствует этой формуле.
 
Пример суждения:
 
а: Если идет дождь,
б: то я возьму зонтик
в: или надену дождевик.
г: Если прогноз погоды предсказывает дождь,
б: то я возьму зонтик.
Теперь объединим это:
 
 (Если идет дождь, то я возьму зонтик или надену дождевик) и (если прогноз погоды предсказывает дождь, то я возьму зонтик) , то (если идет дождь и прогноз погоды не предсказывает дождь, то я надену дождевик) .
 
Перепишем это в боле понятном виде:
 
Если идет дождь, и если прогноз погоды не предсказывает дождь, то я надену дождевик.
 
Этот пример сответствует данной логической формуле и представляет собой реалистичное суждение.