Advanced Search

Question: Why does Maple replace the equivalence symbol and changes the assertion

Question:Why does Maple replace the equivalence symbol and changes the assertion

C_R 3327 Maple
logic equivalence
September 30 2023
1

The below is not properly rendering in my browser. You probably have to open the worksheet
 

De Morgan's law from https://en.wikipedia.org/wiki/De_Morgan%27s_laws

NULL

iff(not (P or Q), `and`(not P, not Q))

not (P or Q) implies not (P or Q)

 (1)

iff(not (P and Q), `or`(not P, not Q))

not (P and Q) implies not (P and Q)

 (2)

NULL

 

Edit: Asking differently: Which symbol from the palettes can be used for equivalence (in a logic context)?

Edit2: Title changed. Original title: Why does Maple replace the equivalence symbol by an implication symbol

Download De_Morgans_law.mw
Please Wait...