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
Determine which of the following statements are a tautology or a contraction.

1.   ~ q ~ q

2.   p ( p p )
3.   ~(~ p p )
4.   p ( p ~ p )
5.   q ~ q

6.   ~ q ~(~ q q )
7.   (~ q q )(([~(~ q ~ q )]) q )
8.   ([~( p q )]) p

9.   (( p p )(~ p p ))(~(~ p p ))
10.   ((~ p ~ q )~( p ~ q ))(~( p q ))
11.   ~(~ p q )
12.   (( q ~ p )(~ p ~ q ))(~( p (~ q p )))
13.   ( p ~ p )(~(~ p p ))
14.   (~( p p ))(( p p )( p p ))
15.   ~(~ p q )(~ q ~ p )
16.   ~(( p (~ p p ))(~(~ p p )))
17.   (~(( p ~ p )(~ p p )))(~ p ~ p )
18.   (~( p ~ q ))( p ( p q ))
19.   p q

20.   (~ p ~ q )(([~(~ p ~ q )]) p )
21.   (( q p )( q p ))(( q ~ p ) q )
22.   (~(~ q q ))( q ~ q )
23.   ( p ~ q )(~ p q )
24.   ~(( p ~ p ) p )
25.   (~ p ~ p )( p p )
26.   (~( p (~ q p )))(~ p ~ 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