Exercises
[29G]Let again \(P(n),Q(n)\) be two propositions. If ”\(P(n)\) is valid eventually and \(Q(n)\) is valid frequently” then ”\((P(n)∧ Q(n))\) is valid frequently”.
EDB — 29G
View
English
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages