Full truth-table method: Answers


The fifth row shows that the sequent is not valid:


Only the fourth row is relevant because it is the only one where both premises are true. It shows that the sequent is valid:


homepagetopcontactsitemap

© 2004-2024 Joe Lau & Jonathan Chan