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

2 Answers

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}$




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. 

answered by Boss (34.3k points)
edited by
0 votes

It is contingency.


answered by Boss (33.4k points)

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,049 questions
53,194 answers
70,400 users