How to prove derivability of formulas in propositional calculus?

R

R

Ruslan Pikulin2015-12-25 22:01:08

Mathematics

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

How to prove derivability of formulas in propositional calculus?

Reply

Answer the question

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

O

OneDeus2022-01-08 00:47:29

How to issue this algorithm in the form of a mathematical formula? 2Reply

G

Gleb2020-09-15 15:21:56

Where is the error in the numerical solution of the equation? 1Reply

Z

Zhenia Bel2022-01-12 00:32:45

How to write a formula for counting time? 1Reply

L

luckygambler2016-06-11 14:55:57

What books on hash functions to read? 1Reply

D

Dima Shcherbakov2020-09-17 17:20:10

How can I make a curve like in the picture? 1Reply

Didn't find what you were looking for?

Ask your question

Ask a Question

731 491 924 answers to any question