Logic
edHelper subscribers - Create a new printable

Number of Keys
Select the number of different printables:

Number of Pages (for each key)
Select the number of pages:

Answer Key
Include an answer key (answer keys will be at the end of the printable)
No answer key
Not a subscriber?  Sign up now for the subscriber materials!
   High School Geometry
High School Geometry
Math

 

(pre-made sample)
Name _____________________________
Date ___________________

Logic
(Answer ID # 0109613)
Determine which of the following statements are a tautology or a contraction.


1.   q ( q q )

2.   ~(~ q ~ q )

3.   p ( p p )

4.   (~ p ~ p ) p

5.   ~( p ( p p ))

6.   ~ q q

7.   ((~ p ~ p )(~ p p ))(~(~( p p )~(~ p p )))

8.   ((~ p ~ p )(~ p p ))(~ p p )

9.   ~(~ p q )

10.   (( p q )(~ p ~ q ))(~(( p q )(~ p ~ q )))

11.   ( q ( q ~ q ))(( q q )(~ q ~ q ))

12.   ( p ~ p )( p p )

13.   (~(( p q )(~ p ~ q )))(( p q )(~ p ~ q ))

14.   (~ p ~ q )(( p q )(~ p ~ q ))

15.   ~ p q

16.   ((~ p ~ p )( p ~ p ))(~(( p p )(~ p ~ p )))

17.   (~(~ p ~ q ))(( p q )(~ p ~ q ))

18.   ( p ( p ~ p ))(~(( p ~ p )(~ p p )))

19.   (~((~ q ~ p )( p q )))(~(~ p ~ q ))

20.   p q

21.   [~(~ p ~ q )]

22.   (~(~ p ~ p )(~ p ~ p ))(~ p p )

23.   ~(((~ q ~ q ) q )( q ( q ~ q )))

24.   (~( p q ))(~(~ p ~ q ))

25.   ~((~ p p )( p p ))

26.   ((~ q ~ q )(~ q ~ q ))( q ( q ~ q ))


 


Answer Key


Sample
This is only a sample worksheet.




Logic
edHelper subscribers - Create a new printable

Number of Keys
Select the number of different printables:

Number of Pages (for each key)
Select the number of pages:

Answer Key
Include an answer key (answer keys will be at the end of the printable)
No answer key
Not a subscriber?  Sign up now for the subscriber materials!
   High School Geometry
High School Geometry
Math