in Mathematical Logic retagged by
206 views
0 votes
0 votes
1) IS

P → Q ≡ Q → P

Satisfiable Or NOT?
in Mathematical Logic retagged by
206 views

2 Comments

Satisfiable but not valid.as for P,Q(T,T), returns true and for (T,F) returns false.
0
0

$P\rightarrow Q\equiv Q\rightarrow P$

$\neg P\vee Q\equiv \neg Q\vee P$

$P\equiv T,Q\equiv T$

$T\equiv T$(Satisfiable)

$P\equiv F,Q\equiv F$

$T\equiv T$(Satisfiable)

$P\equiv T,Q\equiv F$

$F\equiv T$(Not Valid)

$P\equiv F,Q\equiv T$

$T\equiv F$(Not Valid)

0
0

1 Answer

0 votes
0 votes
It is satisfiable but not valid.

Related questions