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.

Interpretations (cont’)

  • Example:
    • Suppose v is an assignment for which

    v(p) = F,           v(q) = T.

    • If A = (¬p → q) ↔ (p V q) , what is v(A) ?

      Solution:

      v(A) = v ((¬ p q ) ( p V q ))

              = v p q ) v ( p V q )

              = ( v p ) v ( q )) ( v ( p ) V v ( q ))

              = (¬ v ( p ) v ( q )) ( v ( p ) V v ( q ))

              = (¬F T) (F V T)

              = (T T) (F V T)

              = T T

              = T


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.