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:
homepage • top • contact • sitemap
© 2004-2025 Joe Lau & Jonathan Chan