- 1 Find A Derivation Of The Sentence B A2 V A3 A2 1 A3 And Use This To Calculate The Rank Of B 2 Pr 1 (32.68 KiB) Viewed 115 times
1. Find a derivation of the sentence B = (((-A2) V (-A3)) + (-(A2 1 A3))) and use this to calculate the rank of B. 2. Pr
-
- Site Admin
- Posts: 899559
- Joined: Mon Aug 02, 2021 8:13 am
1. Find a derivation of the sentence B = (((-A2) V (-A3)) + (-(A2 1 A3))) and use this to calculate the rank of B. 2. Pr
1. Find a derivation of the sentence B = (((-A2) V (-A3)) + (-(A2 1 A3))) and use this to calculate the rank of B. 2. Prove by induction on sentences that in any sentence P, the number of occurrences of propositional variables equals one plus the number of occurrences of binary connectives. Let V(P) be the number of occurrences of propositional variables and let B(P) be the number of occurrences of binary connectives.