Академический Документы
Профессиональный Документы
Культура Документы
Pr0gett0 Al3ph
Foundations of Mathematics
Proof of the theorem pc-ex-1 ... -18 in the Propositional Calculus (PC): some examples of proofs
al3ph
Pr0gett0 Al3ph
Home Home
and ax-1.3 8.
Step Hyp 1 2 3
1, 2 mp
21
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fn 1
1 of 1
Home Home
and ax-1.3 8.
Step Hyp 1 2 3
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fn 1
1 of 1
Home Home
and ax-1.3 8.
Step Hyp 1 2 3
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fn 1
1 of 1
Home Home
and ax-2.3
11
Step Hyp 1 2 3
11 . 2 1
1, 2 mp
21
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fc 3
1 of 1
Home Home
and ax-2.3
11
Step Hyp 1 2 3
1, 2 mp
21
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fc 3
1 of 1
Home Home
and ax-2.3
11
Step Hyp 1 2 3
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fc 3 fa
4
1 of 1
Home Home
and ax-2.3
11
Step Hyp 1 2 3
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fc 3 fa
4
1 of 1
Home Home
and ax-2.3
11
Step Hyp 1 2 3
1, 2 mp
21
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fn 1 fc 3
1 of 1
Home Home
and ax-2.3
11
pc-ex-9 (()(( ))) Proof of Theorem pc-ex-9 Ref Expression ax-5.2 ax-2.3 1, 2 mp
21 19 . 2 11 . 2 1
Step Hyp 1 2 3
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fn 1 fc 3
1 of 1
Home Home
and ax-2.3
11
Step Hyp 1 2 3
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fn 1 fc 3
1 of 1
Home Home
and ax-3.3
14
Step Hyp 1 2 3
14 . 2 1
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fc 3 fa
4
1 of 1
Home Home
and ax-3.3
14
Step Hyp 1 2 3
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fc 3 fa
4
1 of 1
Home Home
and ax-3.3
14
Step Hyp 1 2 3
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fa
4
1 of 1
Home Home
and ax-3.3
14
Step Hyp 1 2 3
1, 2 mp
21
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fa
4
1 of 1
Home Home
and ax-3.3
14
Step Hyp 1 2 3
1, 2 mp
21
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fa
4
fe
1 of 1
Home Home
and ax-3.3
14
Step Hyp 1 2 3
1, 2 mp
21
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fa
4
fe
1 of 1
Home Home
and ax-3.3
14
Step Hyp 1 2 3
1, 2 mp
21
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fn 1 fa
4
1 of 1
Home Home
and ax-3.3
14
Step Hyp 1 2 3
1, 2 mp
21
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fn 1 fa
4
1 of 1