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 Kosinov2020-10-01 22:24:38

Where or where to find good tutors to prepare for prof. mathematics.? 3Reply

D

Dragon12020-10-04 16:35:30

Which answers are correct about ALU (arithmetic logic unit)? 1Reply

I

ilyageekdays2020-10-05 20:49:25

Why is the code giving the wrong result? 1Reply

H

Harrix2014-06-10 21:45:29

Statistics criterion for evaluating the reordering of elements 3Reply

N

NoMoneyException2016-07-16 09:46:14

Where >> to start studying algorithms and mathematics? 3Reply

Didn't find what you were looking for?

Ask your question