Propositional logic
Premise/conclusion-pairs
?0, ?1, ..., ?n ? ?
(?0, ?1, ..., ?n ? ?)
Sequences of sentences
?0, ?1, ..., ?n
Reason/conclusion-structures ?0, ?1 ?3, [?4]
?2, ?5
?6
Previous slide
Next slide
Back to first slide
View graphic version