Symbiotic Logic
Fast practice, instant feedback. Timer auto-submits when time’s up.
Avg score: 80% Most missed: “The development of symbolic logic has been bound up with the development of………………”
Symbiotic Logic
Time left 00:00
25 Questions

1. Classical logic is also called ………………………………………
2. Name the rule of inference [ p v( q v r ) ] ≡ [ ( p v q ) v r ]
3. In a conditional, the component statement that follows the “then” is called ……….
4. When two statements are combined by using the phrase “if and only if”, the resulting compound statement is called …………………………………………..
5. Name the rule of inference [ p . ( q v r ) ] ≡ [ ( p . q ) v ( p. r) ]
6. If (x) ̴Mx is true, then (x) Mx is …………………
7. Conditional statement is also called………………………………….
8. The curl “ ̴“ is ……………………………………………………..
9. Singly general proposition is a general proposition with ………………………………..
10. For a conditional to be true the conjunction “ p. ̴q “ must be ……………….
11. ‘ A and B will not both be selected ’ is symbolized as ………………………..
12. The development of symbolic logic has been bound up with the development of………………………
13. ………………………….. Symbol is used for weak disjunction
14. ‘ No fruits are ripe ‘ is symbolized as
15. ………………………….. Symbol is used for conjunction
16. Symbolic logic is also called…………………………………….
17. ……………………….. is regarded the common meaning that is part of the meaning of all four different types of implication symbolized as “ If p , then q”
18. The relation between the general propositions (x) ̴Mx and (∃x ) Mx is ………..……
19. A simple proposition is ………………………………………………………………….
20. Name the rule of inference - [ (P . Q ) Ͻ r ) ] ≡ [ p Ͻ ( q Ͻ r ) ]
21. The relation between the general propositions (x) Mx and (∃x ) ̴Mx is ……………
22. Mathematical logic is also called…………………………………….
23. As per modern interpretation of traditional subject-predicate propositions, A and O propositions are …………………..
24. Name the rule of inference ̴( P . Q) ≡ ( ̴P V ̴Q)
25. A statement form that has only true substitution instances is called ……………………