III.5 Satisfiable and valid

Satisfiable and valid [Slide 101]

Example 29.  

2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023