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