Lag av avskildhet?

Lag av avskildhet?

Lag av lossnar även känd som Modus Ponens (MP) säger att om p => q är sant och p är sant, då q måste vara sant.

Lag av syllogismen kallas också lagen om transitivitet och stater: om p => q och q => r är både sant, då p => r är sant.