The Gateway to Computer Science Excellence
+1 vote

No automatic alt text available.

in Mathematical Logic by Boss (49.3k points) | 118 views

1 Answer

+1 vote
Best answer

Sunny(x)= x is a sunny day

Hot(x)=x is a hot day

All Sunny Days are hot:-

∀x (Sunny(x)->Hot(x))

Not All Sunny days are hot=Not(All sunny days are hot)

Not(∀x (Sunny(x)  -> Hot(x)))

Not(∀x (~Sunny(x) V Hot(x) ) )

(∃ x ~(~Sunny(x) V Hot(x) ) )

∃ X(Sunny(x) AND ~Hot(x))

So,  option D is the answer

by Active (3.3k points)
selected by
"Not all sunny days are hot" can be interpreted as

"There exist some sunny days that are not hot".

$\Rightarrow$ $\exists$ d (Sunny(d) ^ ~hot(d)).
Negating the statement "All sunny days are hot"

we will get Not all sunny days are hot it will give option D.
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
50,737 questions
57,292 answers
104,909 users