P implicerar Q

Jag gissar på att du tänker på det kontrapositiva påståendet

$\neg Q\Rightarrow \neg P$

revolten skrev :

 

Hej!!

Om man har två påståenden, P och Q , och P $\Rightarrow$ Q, då finns det något som betyder samma sak och som innehåller implikationstecknet och icke-tecken. Jag minns dock inte vad det var.

Är det $\neg P \Rightarrow \neg Q eller är det \neg Q \Rightarrow \neg P eller är det \neg Q\Rightarrow P?$

Mittenalternativet, dvs -Q -> -P.

Det innebär att, givet att P -> Q är sant, så är det enda sättet att Q är falskt att även P är falskt.

Detta ges även ur sanningstabellen för P -> Q (fetmarkerat):

P   Q   P->Q

-----------------

S   S   S

S   F   F

F   S   S

F   F   S