3.4AAAA030109

3.4AAAA030109 - 1 3.4. AAAA. Recall the AA table from...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
1 3.4. AAAA. Recall the AA table from section 3.3. AA 1. A . fA A . gA. ¬ INF. ¬ AL. ¬ ALF. ¬ FIN. ¬ NON. 2. A . fA A . gB. ¬ INF. ¬ AL. ¬ ALF. ¬ FIN. ¬ NON. 3. A . fA A . gC ¬ INF. ¬ AL. ¬ ALF. ¬ FIN. ¬ NON. 4. B . fA A . gA. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. 5. B . fA A . gB. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. 6. B . fA A . gC. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. 7. C . fA A . gA. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. 8. C . fA A . gB. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. 9. C . fA A . gC. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. It is clear that there is no reason to further consider clauses 1-3 from the AA table, as all of our five proposition attributes already come out false. So we instead work with the following reduced AA table. Note that we have renumbered the clauses. REDUCED AA 1. B . fA A . gA. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. 2. B . fA A . gB. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. 3. B . fA A . gC. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. 4. C . fA A . gA. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. 5. C . fA A . gB. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. 6. C . fA A . gC. ¬ INF. AL. ¬ ALF. ¬ FIN. NON. We need only consider ordered pairs of these clauses i,j,
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 3

3.4AAAA030109 - 1 3.4. AAAA. Recall the AA table from...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online