1st order logic + truth condition

P v ~ P . Negation of disjunction is alwayS

True

Disjunction is false when

p and q are both false.

P = Q /TP=Q . Equivalence is true when 

Both p and q are false 

Both p and q are true 

Disjunction is true when 

Both p and q are true

 p is true but q is false 

 p is false but q is true 

Negation of conjunction p & ~ p is always

False

Negation of P and Q ~ (P&Q) is false when

p and q are true

Acquired a posteriori, due to empirical check is what type of truth?

Synthetic

Conjunction is true :

only when p and q are true

Sentences are true before check them in reality, they are known a priori, i.e. prior to our experience, a priori truth is necessary truth, its truth or falsehood stems from the structure of the sentence.

This sentence describes what type of truth?

Analytic