Sentential logic