1 / 91

# TF truth - PowerPoint PPT Presentation

TF truth, falsity, and indeterminacy. P is truth-functionally true iff it has the value T for any truth-value assignment. P is truth-functionally false iff it has the value F for any truth-value assignment. P is tf-false iff ~P is tf-true

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

## PowerPoint Slideshow about 'TF truth' - libitha

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

P is truth-functionally true iff it has the value T for any truth-value assignment.

P is truth-functionally false iff it has the value F for any truth-value assignment.

P is tf-false iff ~P is tf-true

P is truth-functionally indeterminate iff it has the value T for some truth-value assignments, and the value F for some other truth-value assignments.

P is tf-indeterminate iff it is neither tf-true nor th-false.

P and Q are truth-functionally equivalent iff P and Q do not have different truth-values for any truth-value assignment.

A set of sentences is truth-functionally consistent iff there is a truth-value assignment that on which all the members of the set have the value T.

A set of sentences is truth-functionally inconsistent iff it is not tf-consistent.

A set  of SL sentences truth-functionally entails a sentence P iff there is no truth-value assignment on which every member of  is true and P false.

A set  of SL sentences truth-functionally entails a sentence P iff there is no truth-value assignment on which every member of  is true and P false.

An argument of SL is truth-functionally valid iff there is no truth-value assignment on which all the premises are true and the conclusion false.

A set  of SL sentences truth-functionally entails a sentence P iff there is no truth-value assignment on which every member of  is true and P false.

An argument of SL is truth-functionally valid iff there is no truth-value assignment on which all the premises are true and the conclusion false.

An argument of SL is truth-functionally invalid iff it is not tf-valid.

A set  of SL sentences truth-functionally entails a sentence P iff there is no truth-value assignment on which every member of  is true and P false.

An argument of SL is truth-functionally valid iff there is no truth-value assignment on which all the premises are true and the conclusion false.

An argument of SL is truth-functionally invalid iff it is not tf-valid.

An argument is tf-valid iff the premises tf-entail the conclusion.

P is truth-functionally true iff it has the value T for any truth-value assignment.

P is truth-functionally false iff ~P is tf-true.

P is truth-functionally indeterminate iff P is neither tf-true nor tf-false.

P and Q are truth-functionally equivalent iff P and Q do not have different truth-values for any truth-value assignment.

A set of sentences is truth-functionally consistent iff there is a truth-value assignment that on which all the members of the set have the value T.

A set  of SL sentences truth-functionally entails a sentence P iff there is no truth-value assignment on which every member of  is true and P false.

An argument of SL is truth-functionally valid iff there is no truth-value assignment on which all the premises are true and the conclusion false.

Show that ~B(B&~B) is not tf-true

Show that ~B(B&~B) is not tf-true

Show that ~B(B&~B) is not tf-true

Show that ~B(B&~B) is not tf-true

Show that ~B(B&~B) is not tf-true

Show that ~B(B&~B) is not tf-true

Show that (~B~A)&C is not tf-false

Show that (~B~A)&C is not tf-false

Show that (~B~A)&C is not tf-false

Show that (~B~A)&C is not tf-false

Show that (~B~A)&C is not tf-false

Show that (~B~A)&C is not tf-false

Show that (~B~A)&C is not tf-false

Show that (~B~A)&C is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-false

Show that (AB)  (BA) is not tf-true

Show that (AB)  (BA) is not tf-true

Show that (AB)  (BA) is not tf-true

Show that (AB)  (BA) is not tf-true

Therefore, the sentence is tf-true

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)

Practice

Show that:

{A(B&C), B  (AC), C~C} is tf-consistent

{B(A&~C), (CA)  B, ~BA}  ~(AC)