{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

lecture 5 2009

lecture 5 2009 - truth value under τ If B is a...

Info icon This preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
1. Any atomic sentence of FOL is a sentence. 2. If A and B are sentences of FOL, then so are . A, (A . B), and (A . B). A truth value assignment is the assignment of exactly one of the truth values True (T), False (F) to the atomic sentences of a language. A sentence is TT-possible if that sentence is true under at least one truth value assignment. If A is a sentence of FOL, then A is a tautology if and only if A is true under every truth value assignment.
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
A sentence B is a tautological consequence of sentences A 1 , …,A n if and only if every truth value assignment that results in all of A 1 ,…,A n being true also results in B being true. Two sentences A, B are tautologically equivalent if and only if B is a tautological consequence of A and A is a tautological consequence of B. i.e. For each truth value assignment τ, A and B have the same
Image of page 2
Image of page 3

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 4
Image of page 5

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: truth value under τ. If B is a tautological consequence of A 1 ,…,A n , then B is a logical consequence of A 1 ,…,A n . (Recall: B is a logical consequence of A 1 ,…,A n if and only if it is impossible for all of A 1 ,…,A n to be true but B to be false.) Examples: Tet(a) Tet(a) . Cube(b) . Dodec(d) , Dodec(d) . Cube(d) Cube(d) Two sentences A,B are logically equivalent if and only if there is no logically possible circumstance in which A, B have different truth values. Examples: . (Tet(a) . Small(a)) . Tet(a) . . Small(a) . Cube(b) . (Dodec(c) . Tet(d)) (Cube(b) . Dodec(c)) . (Cube(b) . Dodec(c)) (a = b) . ( b = c) (a =b) . ( b = c) . ( a = c) These two sentences are logically equivalent but they are not tautologically equivalent....
View Full Document

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern