Propositionsover auniverse
Lovani
Lt be a non empty set A proposition over
U is a sentence that contains a variable that
can take on any value in and that has a
definite truth value
Trithself
Is p is a prop over the truth set
4
of p is
Tp a EU pca is true
e g
, Tut'sanconta'soave
A prop over v is a taut it its truth
Set is V It is a contradicth it its truth
Set is empty
eg 1
Stp 5 1 is a was true 5
i
tatology
so 2 0 is a any false Contradiction
Tpuy a EU Pca gal tree
nev at Tpu atty
Tp Tq
Implicationt
Lovani
Lt be a non empty set A proposition over
U is a sentence that contains a variable that
can take on any value in and that has a
definite truth value
Trithself
Is p is a prop over the truth set
4
of p is
Tp a EU pca is true
e g
, Tut'sanconta'soave
A prop over v is a taut it its truth
Set is V It is a contradicth it its truth
Set is empty
eg 1
Stp 5 1 is a was true 5
i
tatology
so 2 0 is a any false Contradiction
Tpuy a EU Pca gal tree
nev at Tpu atty
Tp Tq
Implicationt
