Truth value
law of detachment
•
law of syllogism
transitive property
symmetric property
reflexive property
can someone define these for me in geometry

Law of detachment - if p-q is true, and p is true, then q is true
law of syllogism - is p-q is true, and if q-r is true, then p-r is true
transitive property - if a=b, and b=c, then a=c
symmetric property - if a=b, then b=a
reflexive property - a=a