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
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
Om det finns en modell, i vilken både premisser och slutsats är sanna, så är slutledningen 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.