Exercicis lògica formal correcció

Aquí teniu les correccions de les pràctiques de lògica formal. Disculpeu que no inclogui els signes lògics (és una matada anar inserint símbols) i el que teniu són els noms dels símbols.
Exercicis lògica formal: correcció

1.[(p↔q) ^ (p→r)] → (t ^ u)
2.(p conjunció q) disjunció r
3.(p conjunció 1) bicondicional r
4.p condicional (q conjunció r)
5.p condicional q conjunció negació r)
6.(p disjunció negació p) disjunció (p conjunció negació p)
7.(p conjunció q) condicional negació r
8.(p disjunció q) conjunció (p condicional negació r)
9.(p disjunció q) conjunció (q condicional r)
10.(p conjunció q) conjunció (r condicional negació s) o una altra opció (p conjunció q) conjunció [(p condicional negació q) conjunció (q condicional negació p)]
11.p condicional (q disjunció negació r)
12.(p disjunció q) conjunció (q condicional negació r).
13.p condicional (q conjunció r conjunció negació s).
14.p condicional (q disjunció r)
15.[(p condicional negació q) conjunció (r condicional negació s)] condicional negació t.
16.P condicional (q conjunció r).
17.(p conjunció q) condicional r.
18.[(p conjunció q) conjunció r] conjunció s.
19.(p disjunció negació p) conjunció [(p condicional q) conjunció (negació p condicional negació q).]
20.( p disjunció negació p) conjunció [( p condicional q) conjunció (negació p condicional negació q)]
21.(p conjunció q) conjunció [( r conjunció s) bicondicional negació t]
22.[(negació p condicional q) conjunció (p condicional negació q)] bicondicional r.
23.[(p disjunció q) disjunció (r conjunció s)] condicional t.
24.(p disjunció q) condicional (r conjunció s).
25.No la feu és més complicada del que farem de simbolització.
26.Negació (p conjunció q) condicional (r conjunció s).
27.[( p conjunció q) conjunció negació (r conjunció s)] condicional t.
28.(p disjunció q) bicondicional (r conjunció negació s).
29.[(p condicional q) conjunció (negació p condicional negació q)] condicional negació r.
30.[( p condicional q) conjunció (r condicional s)] condicional (t disjunció r).
31.[( p disjunció q) conjunció negació (r conjunció s)] condicional (negació t disjunció u).
32.(p condicional q) conjunció [(r condicional s) conjunció (t disjunció u)].
33.[(p condicional q) conjunció negació r] condicional (s conjunció t).
34.[(p conjunció q) disjunció (r conjunció negació s)] condicional t.