Sunny_days => garden_weddings
The "implies" formula is given by:
P => Q is given by: ~P V Q
I can't understand this translation. According to the formula we should have:
not sunny_days V garden_wedding
which can be stated in English as:
On sunny days weddings are held in the garden However the tutorial translates it into:
"Either not sunny days weddings are held in the garden"
I can't understand this, why we have 'not" before sunny_days. Original
sentence does not use 'not' with sunny_days. I have attached the
tutorial file. Somebody please guide me.