The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
0 votes
Determine whether $(\sim q \wedge (p \rightarrow q)) \rightarrow \sim p$
asked in Mathematical Logic by Boss (10.5k points) | 20 views

2 Answers

0 votes
$(\sim p \wedge (p \rightarrow q)) \rightarrow \sim p$

We know that $p \rightarrow q \equiv \sim p\vee q$

$(\sim p \wedge (\sim p\vee q)) \rightarrow \sim p$

Convert $\wedge\equiv\cdot ,\vee\equiv +$

Now,   $\overline{p}.(\overline{p}+q)\rightarrow \overline{p}$

        $(\overline{p}.\overline{p}+\overline{p}.q)\rightarrow \overline{p}$

        $(\overline{p}+\overline{p}.q)\rightarrow \overline{p}$

       $\overline{p}\rightarrow \overline{p}$



Now we can write    $p \vee \sim p\equiv \sim q\vee p\equiv T$

  So, this is Tautology.
answered by Boss (34.3k points)
0 votes

It is tautology.

answered by Boss (33.4k points)
In step 3: q`p` ->p`

In step 4:(q`p`)`+p` instead of  implication symbol

Related questions

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
50,083 questions
53,206 answers
70,426 users