Hvis propositionerne p og q er ækvivalente, , er de begge sande eller begge falske, det vil sige, at de begge har den samme sandhedsværdi. En tautologi er et udsagn, der altid er sandt. En modsigelse er et udsagn, der altid er falsk.
Hvad betyder P -> Q?
p → q (p betyder q) (hvis p, så q) er den påstand, der er falsk, når p er sand og q er falsk og ellers sandt.
Hvad svarer logisk til P → Q?
P→Q svarer logisk til ¬P∨Q. … Eksempel: "Hvis et tal er et multiplum af 4, så er det lige" svarer til, "et tal er ikke et multiplum af 4 eller (ellers) det er lige. "
Hvad er P kun hvis Q?
Kun hvis introducerer en nødvendig betingelse: P kun hvis Q betyder, at sandheden af Q er nødvendig eller påkrævet, for at P er sand. Det vil sige kun P, hvis Q kun udelukker én mulighed: at P er sand, og Q er falsk.
Når den betingede p → q er falsk?
Lad p og q er to udsagn, så er "hvis p så q" et sammensat udsagn, angivet med p→ q og refereret til som et betinget udsagn eller implikation. Implikationen p→ q er kun falsk, når p er sand, og q er falsk; ellers er det altid sandt.
