Hvis proposisjonene p og q er likeverdige, er begge sanne eller begge usanne, det vil si at de begge har samme sannhetsverdi. En tautologi er et utsagn som alltid er sant. En selvmotsigelse er en påstand som alltid er usann.
Hva betyr P -> Q?
p → q (p betyr q) (hvis p så q) er påstanden som er usann når p er sann og q er usann og sann ellers.
Hva tilsvarer logisk sett P → Q?
P→Q er logisk ekvivalent med ¬P∨Q. … Eksempel: "Hvis et tall er et multiplum av 4, så er det partall" tilsvarer, "et tall er ikke et multiplum av 4 eller (ellers) det er partall. "
Hva er P bare hvis Q?
Bare hvis introduserer en nødvendig betingelse: P bare hvis Q betyr at sannheten til Q er nødvendig, eller påkrevd, for at P skal være sann. Det vil si bare P hvis Q utelukker bare én mulighet: at P er sann og Q er usann.
Når den betingede p → q er usann?
La p og q være to setninger, så er "hvis p så q" en sammensatt setning, betegnet med p→ q og referert til som en betinget setning, eller implikasjon. Implikasjonen p→ q er usann bare når p er sann, og q er usann; ellers er det alltid sant.
