Et overblikk

Question 1

Hva er logisk usannhet?

Answer 1

En setning er logisk usann hvis og bare hvis den umulig kan være sann, og dette beror på setningens logiske form

Question 2

Hva er logisk sannhet?

Answer 2

En setning er logisk sann hvis og bare hvis det er umulig at den er usann. (typ ingen u’er under hovedformelen på sannhetstabellen :ppP

Question 3

Hva er logisk kontingens?

Answer 3

En setning er logisk kontingent hvis og bare hvis setningens sannhetsverdi ikke er fullt bestemt av setningens logiske form

Setningen kan være sann og usann

Question 4

Hva er logisk konsistens (og inkonsistens)?

Answer 4

En setning er logisk konsistens hvis og bare hvis setningens logiske form ikke er til hinder for at setningen er sann (altså at alle er sanne).
Motsatt inkonsistens

Question 5

Hva er logisk følge?

Answer 5

En setning “følger logisk” fra et sett av setninger hvis og bare hvis det er umulig at denne setningen er usann hvis alle setningene i settet er sanne, og dette beror logisk form.
Eks “Sykkellykten er ødelagt” er en logisk følge av settet som består av setningene:
“Batteriet er utbrukt, eller sykkellykten er ødelagt”
“Det er ikke tilfellet at batteriet er utbrukt”.

Question 6

Hva er logisk gyldighet?

Answer 6

Et resonnement er logisk gyldig hvis og bare hvis konklusjonen følger logisk fra settet som består av premissene.

jorden er rund eller jorden er flat P
jorden er ikke rund P
———
jorden er flat K

Question 7

Hva er logisk ekvivalens?

Answer 7

to setninger er logisk ekvivalente hvis og bare hvis de har samme sannhetsverdi, og dette beror på deres logiske form