in Mathematical Logic
597 views
0 votes
0 votes
Determine whether $(\sim p \wedge (p \rightarrow q)) \rightarrow \sim q$ is a tautology.
in Mathematical Logic
597 views

3 Answers

0 votes
0 votes

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

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

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

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

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

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

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

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

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

       $\overline{\overline{p}}+\overline{q}$

      $p+\overline{q}$

    $\overline{q}+p$

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

Now we can make a truth table

$p$ $q$ $\sim q$ $\sim q \vee p$ $q\rightarrow q$
$T$ $T$ $F$ $T$ $T$
$T$ $F$ $T$ $T$ $T$
$F$ $T$ $F$ $F$ $F$
$F$ $F$ $T$ $T$ $T$

So,this is not a tautology. 

edited by
0 votes
0 votes

It is contingency.

 

0 votes
0 votes

Try to make hypothesis True and conclusion False. If it's possible then compound proposition is not a tautology. 

If p is false and q is true then we can make hypothesis true and conclusion false. Hence, given compound proposition is not a tautology. 

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