Discrete Structures20755 marksPropositional Logic
Let A = 'Aldo is Italian' and B = 'Bob is English'. Formalize the following sentences into proposition.a. Aldo isn't Italian.b. Aldo is Italian while Bob is English.c. If Aldo is Italian then Bob is not English.d. Aldo is Italian or if Aldo isn't Italian then Bob is English.e. Either Aldo is Italian
Let A = 'Aldo is Italian' and B = 'Bob is English'. Formalize the following sentences into proposition.a. Aldo isn't Italian.b. Aldo is Italian while Bob is English.c. If Aldo is Italian then Bob is not English.d. Aldo is Italian or if Aldo isn't Italian then Bob is English.e. Either Aldo is Italian and Bob is English, or neither Aldo is Italian nor is Bob English. [5]
Let: - A = 'Aldo is Italian' - B = 'Bob is English' --- This is the negation of A. $$\neg A$$ --- The word "while" expresses that both statements hold simultaneously, so this is a conjunction. $$A \land B$$ --- This is a conditional (implication) where the consequent contains a negation. $$A \rig...