The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
+1 vote
38 views
Find a compound proposition logically equivalent to $p \rightarrow q$ using only the logical operator $\downarrow$?
asked in Mathematical Logic by (63 points)
edited by | 38 views

1 Answer

+2 votes
Best answer
We know : $P \rightarrow Q $ $\equiv $ $P'+ Q \equiv \overline{P \overline{Q}} $

And $P ↓ Q \equiv \overline{P} \,\,\overline{Q}$

So, $\overline{P} ↓ Q \equiv P \overline{Q}$

$P \rightarrow Q $ $\equiv$ $((P↓P)  ↓ Q ) ↓ ((P↓P)  ↓ Q) $
answered by Boss (13.2k points)
selected by


Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

36,157 questions
43,608 answers
123,961 comments
42,860 users