Truth Tables and Propositional Logic Exercises, Exams of Philosophy

A series of questions and answers related to truth tables for propositions in logic. It covers topics such as self-contradictory statements, consistent statements, contingent statements, and tautologous statements. Examples and solutions, making it a useful resource for students studying propositional logic. It also includes examples of logical statements and their analysis, such as those made by a high school principal, a state senate candidate, and others, to determine their logical consistency and implications. Useful for high school and university students.

Typology: Exams

2024/2025

Available from 07/29/2025

BestieNurse
BestieNurse 🇬🇧

3

(2)

3.2K documents

1 / 10

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
6.3 Truth Tables for Propositions
Questions and Correct Answers 2025-
2026 Rated A
(~K H) ~(H v K) - ANSF T F F T
F T F F T
T T F F T
T F F T F
self-contradictory
(EC) L - ANSdoes not apply
consistent
(GG) G - ANST T
T F
contingent
(MP) v (PM) - ANST T T
F T T
T T F
T T T
tautologous
(SR) • (S • ~R) - ANST F F F
F F T T
pf3
pf4
pf5
pf8
pf9
pfa

Partial preview of the text

Download Truth Tables and Propositional Logic Exercises and more Exams Philosophy in PDF only on Docsity!

6.3 Truth Tables for Propositions

Questions and Correct Answers 2025-

2026 Rated A

(~K ⊃ H) ≣ ~(H v K) - ANSF T F F T F T F F T T T F F T T F F T F self-contradictory (E⊃C) ⊃ L - ANSdoes not apply consistent (G⊃G) ⊃ G - ANST T T F contingent (M⊃P) v (P⊃M) - ANST T T F T T T T F T T T tautologous (S⊃R) • (S • ~R) - ANST F F F F F T T

T F F F

T F F T

self-contradictory [(C⊃D) • ~C] ⊃ ~D - ANST F F T F F F F T T T T T F F T T T T T contingent [(E⊃F) ⊃ F] ⊃ E - ANST T T F T T T T F T F T contingent [(F v E) • (G v H)] ≣ [(G • E) v (F • H)] - ANST T T T T T T T T T T T T F T T T T F T T T F F T F F F T T T T F T T T T T F F F F T T T T F T T T F F T F F F T T T T T T F

T T T T F F T

T F T F F T F

self-contradictory [(U • (T v S)] ≣ [(~T v ~U) • (~S v ~U)] - ANST T F F F F F F F F T T F F F F F T T F T T F T T F F F F F F F F T T F T T T F F T F F T T T F T T F T F F T T T T T T F T F T T T T F T T F F F T T T T T T T self-contradictory [(Z⊃X) • (X v Z)] ⊃ X - ANST T T T F F T T T T T T T F F T tautologous [G ⊃ (N ⊃ ~G)] • [(N ≣ G) • (N v G)] - ANSF F F F T T T T T F F F F T T T T F F F T T T T F T F F self-contradictory

[X ⊃ (R⊃F)] ≣ [(X⊃R) ⊃ F] - ANST T T T T

F F T T F

T T T F T

T T T F T

T T T T T

T F F T F

T T T T T

T T F T F

contingent {[(G • N) ⊃ H] • [(G ⊃ H) ⊃ P]} ⊃ (N⊃P) - ANST T T T T T T T T F T F T F T F F F T T T T F F F T T F F T T T T T T F T F T F T T F T T F T T T F T T F T T T F T T T T T T F T F T F T F F T T T T T T F T F T F T F F T T T T T T F T F T F T T

Automotive expert Frank Goodbody has this to say about Japanese imports: "If Mitsubishi is the sportiest, then both Toyota is the most trouble- free and Isuzu is not the lowest priced. If Isuzu is the lowest priced, then both Toyota is not the most trouble-free and Mitsubishi is the sportiest." - ANSYes Isuzu is not the lowest priced. Christina and Thomas are having a discussion about their plans for the evening. Christina: "If you don't love me, then I'm certainly not going to have sex with you." Thomas: "Well, that means that if I do love you, then you will have sex with me, right?" - ANSThomas is not correct; the two statements are not logically equivalent. Cindy, Jane, and Amanda witnessed a bank robbery. At trial, Cindy testified that Lefty did not enter the bank, and if Howard pulled a gun, then Conrad collected the money. Jane testified that if Howard did not pull a gun, then Lefty entered the bank. Amanda testified that if Conrad collected the money, then Howard pulled a gun. - ANSYes Lefty did not enter the bank, Howard pulled a gun, and Conrad collected the money. Eric Carson sums up his beliefs about God as follows: "God exists if and only if either life is meaningful or the soul is not immortal. God exists and the soul is immortal. If God exists, then life is not meaningful." - ANSEric's beliefs are inconsistent; therefore, they do not make sense.

F • M - ANSdoes not apply inconsistent G • (E v P) - ANScontradictory H • (K v J) - ANSlogically equivalent H ≣ ~G - ANScontradictory M ⊃ (K⊃P) - ANSlogically equivalent N • (A v ~E) - ANSdoes not apply inconsistent N ⊃ (N⊃N) - ANST T T T tautologous Nicole Evans expresses her philosophy as follows: "If the mind is identical to the brain, then personal freedom does not exist and humans are not responsible for their actions. If personal freedom does not exist, then the mind is identical to the brain. Either humans are responsible for their actions or the mind is not identical to the brain. If personal freedom exists, then humans are responsible for their actions." - ANSYes

Compucel expands production. The other claims that Datapro will cut its workforce, and Compucel will expand production if and only if Netmark introduces a new product. - ANSYes Datapro will cut back its work force. W ≣ (B • T) - ANSdoes not apply inconsistent Z • (C≣P) - ANSdoes not apply inconsistent