Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.


  • A is valid (or, a tautology), denoted ⊧ A , iff v ( A ) = T , for all i nterpretations v

  • A is not valid (or, falsifiable), denoted ⊭ A if we can find some interpretation v , such that v(A) = F

  • Relationship between validity, satisfiability, falsifiability, and unsatisfiability:

Speaker notes:

Content Tools


There are currently no sources for this slide.