Prove ⊢(x)(Fx ⊃ Gx) ⊃ (x)(¬Gx ⊃ ¬Fx)

Qammunity

My account
Edit my Profile
Private messages
My favorites

Ask a Question
Questions
Unanswered
Tags
Categories
Ask a Question

asked Jun 19, 2021 197k views

3 votes

Prove ⊢(x)(Fx ⊃ Gx) ⊃ (x)(¬Gx ⊃ ¬Fx)

Mathematics
college

Ptrc asked

by Ptrc

7.8k points

0 Comments

Please log in or register to add a comment.

Please log in or register to answer this question.

1 Answer

6 votes

Answer:

afd

Explanation:

asfdgf

Maputo answered Jun 23, 2021

by Maputo

7.5k points

0 Comments

Please log in or register to add a comment.

← Prev Question Next Question →

Related questions

asked Jan 17, 2024 33.3k views

Fitch-style proof C ∨ E , A ∨ M , A → ¬C , ¬S ∧ ¬M ⊢ E

Feronovak asked Jan 17, 2024

by Feronovak

8.6k points

Mathematics
high-school

1 answer

2 votes

33.3k views

asked Jan 24, 2024 26.2k views

This time I have a more "complex" problem at first glance. I need to create a direct proof using the axioms of system K and rules of inference, but I have been unable to do so. □(A ∨ ¬B), ¬□A, ⊢ ◇¬B □(A

Tarun asked Jan 24, 2024

by Tarun

8.2k points

Social Studies
high-school

1 answer

1 vote

26.2k views

asked Mar 22, 2024 173k views

From the definition of a sound calculus we can infer that a sound implication introduction has to have the form: Γ ⊢ A → Γ ⊨ A. The rule for implication introduction goes (Γ ∪ {A} ⊢ B) ⊢ (Γ ⊢ A → B). The

VingInMedina asked Mar 22, 2024

by VingInMedina

8.1k points

Mathematics
high-school

1 answer

1 vote

173k views

Ask a Question

Welcome to QAmmunity.org, where you can ask questions and receive answers from other members of our community.

9.4m questions

12.2m answers

0 Comments

Please log in or register to add a comment.

Please log in or register to answer this question.

1 Answer

0 Comments

Please log in or register to add a comment.

Related questions

Other Questions