• We’re currently investigating an issue related to the forum theme and styling that is impacting page layout and visual formatting. The problem has been identified, and we are actively working on a resolution. There is no impact to user data or functionality, this is strictly a front-end display issue. We’ll post an update once the fix has been deployed. Thanks for your patience while we get this sorted.

Logical Operators

M

mdchesne

Banned
For (P->Q)->R;
i need the converse, contrapositive and inverse.

I know:
for p->q, and - means negation;
-q->-q contrapositive
q->p converse
-p->-q inverse

but does p = (P->Q) change when I take the negation? DO I distribute within the parenthesis?
so -p would mean -(P->Q) or -P->-Q?
 
You must log in or register to reply here.

TRENDING THREADS

Back
Top