How to prove derivability of formulas in propositional calculus?

R

Ruslan Pikulin2015-12-25 22:01:08

Mathematics

Ruslan Pikulin, 2015-12-25 22:01:08

Reply

Answer the question

In order to leave comments, you need to log in

1 answer(s)

M

Mercury13, 2015-12-25
@Mercury13

Any identically true formula is derivable. Any derivable formula is identically true.
First year university.
So - either deduce from a dozen axioms, or prove identical truth.

Similar questions

M

Mikhail Shatilov2013-12-20 10:59:22

What is the probability of guessing the answers? 3Reply

A

Alexander2021-10-29 18:08:40

How to classify/group the elements of a number series so that the sum of the elements in each group is approximately the same? 1Reply

I

Ivan Balaksha2016-03-21 13:22:11

In what order should I remember/learn math? 1Reply

A

Ardik2021-10-30 12:57:30

What branches of mathematics are needed for the general theory of relativity? 2Reply

M

maksjuk112016-03-21 23:24:18

Math functions and graphs? 2Reply

Didn't find what you were looking for?

Ask your question