- 1 (53.88 KiB) Viewed 35 times
* * * * - * * -> - 2. For the sequents below, show which ones are valid and which ones aren't: *(a) p →-99 * (b) -р v-q
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
* * * * - * * -> - 2. For the sequents below, show which ones are valid and which ones aren't: *(a) p →-99 * (b) -р v-q
* * * * - * * -> - 2. For the sequents below, show which ones are valid and which ones aren't: *(a) p →-99 * (b) -р v-q -(p Aq) (c) p,p V99 (d) p vq, vrpvr (e) p → (q vr),-, --p without using the MT rule *(f) p19 (pvq) (9) p1p-(9) (r +9) (h) p → 9,8 → Vs → 941 *(i) (pv) p. 3. Prove the validity of the sequents below: (a) ppp (b) pp → (c)p v9, 9P (d) -p (p (→ 9)) (e) (p 9) 9 →P (f)p+qpva (g) pvq (9) 80 1 Propositional logic (h) p(q vr), -9, -r--p (i) (can), hans, h1-(s vc) → pl-n4-1) (j) the two sequents implict in (1.2) on page 20 (k) q l-(p 9) (p 10) using LEM (1) -(19) - V- (m) 19 → |- (pr) (q + r) (n) p19-(pv9) (0) (pv) paq (p) →q-pvq possibly without using LEM? (9) (p 9) (q r) using LEM (r) p9, p. 99 (9) p→ 9, r19 rpm (t) (p 9) +1,8 p, t, 119 (u) ( sp) vt →9) (sq) vt →p) -> * * +
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!