Grundläggande logik true/false

Det är omöjligt att en giltig slutledning har sanna premisser och falsk slutsats

Det är nödvändigt att känna till premissernas sanningsvärde för att kunna avgöra om en slutledning är giltig

I ett motexempel till en slutledning är premisserna och slutsatsen falska

Om det finns ett motexempel till en slutledning, så är den ogiltig

Att premisserna i en slutledning är sanna är tillräckligt för att slutledningen ska vara giltig

Att premisserna i en slutledning är sanna är nödvändigt för att slutledningen ska vara giltig

Att det inte finns något motexempel till en slutledning är tillräckligt för att slutledningen ska vara giltig

Att det inte finns något motexempel till en slutledning är nödvändigt för att slutledningen ska vara giltig

Det är omöjligt att en giltig slutledning har en falsk slutsats

Om två slutledningar har samma logiska form så har deras slutsatser samma sanningsvärde

Om två slutledningar är giltiga, så har de samma logiska form

Om två slutledningar har samma logiska form och den ena är giltig, så är även andra giltig

Om två slutledningar har samma logiska form och det finns ett motexempel mot den ena, så finns det även ett motexempel mot den andra

Om samtliga premisser i en giltig slutledning är sanna, så har den också en sann slutsats

Slutsatsen i en giltig slutledning kan vara falsk, men då måste den ha minst en falsk premiss.

Om det är möjligt att en slutlednings premisser är sanna och dess slutsats falsk så är slutledningen inte giltig.

Om det är möjligt att en slutlednings premisser är sanna och dess slutsats sann, så är slutledningen giltig.

Varje giltig slutledning har minst en sann premiss

Det är omöjligt att en giltig slutledning har sanna premisser och falsk slutsats

I en ogiltig slutledning är alltid minst en premiss falsk

I en ogiltig slutledning med minst en falsk premiss är slutsatsen falsk

Om slutsatsen i en giltig slutledning är falsk, så är minst en premiss falsk

I ett motexempel till en slutledning är premisserna och slutsatsen falska

Om det finns en modell, i vilken både premisser och slutsats är sanna, så är slutledningen giltig

Att premisserna i en slutledning är sanna är tillräckligt för att slutledningen ska vara giltig

Att premisserna i en slutledning är sanna är nödvändigt för att slutledningen ska vara giltig

Att det inte finns något motexempel till en slutledning är tillräckligt för att slutledningen ska vara giltig

Att det inte finns något motexempel till en slutledning är nödvändigt för att slutledningen ska vara giltig.

Om man inte känner till premissernas sanningsvärde, så kan man inte avgöra om en slutledning är giltig eller inte.

I ett motexempel får ingen av premisserna vara falsk

I en giltig slutledning är alltid minst en premiss sann

I en giltig slutledning är alltid alla premisserna sanna

I en giltig slutledning är alltid slutsatsen sann

I en ogiltig slutledning är alltid slutsatsen falsk

Om samtliga premisser i en giltig slutledning är sanna, så har den alltid en sann slutsats

Om samtliga premisser i en giltig slutledning är falska, så har den alltid en falsk slutsats

Om slutsatsen i en giltig slutledning är falsk, så har den alltid minst en falsk premiss

Om man i en giltig slutledning byter ut en sann premiss mot ett annat sant påstående, så bevaras alltid slutledningens giltighet.