Question

Factorize Boolean Function

score 71 · Answer 1 · 2026-03-31 05:37:20

71

Views

Factorize Boolean Function

Published on 31 Mar 2026 - 5:37

score 48 · Answer 2 · 2019-12-17 15:59:17

48

Views

Why is Boolean complement not the same as integer cancellation?

Published on 17 Dec 2019 - 15:59

score 435 · Answer 3 · 2019-12-18 08:28:35

435

Views

Simple Fitch Proof

Published on 18 Dec 2019 - 8:28

score 171 · Answer 4 · 2026-02-23 08:38:30

171

Views

Discharging Assumptions and Conditional Introduction (Chiswell and Hodges)

Published on 23 Feb 2026 - 8:38

score 100 · Answer 5 · 2026-03-28 08:29:25

100

Views

Natural deduction for equivalence

Published on 28 Mar 2026 - 8:29

score 179 · Answer 6 · 2026-03-26 02:55:55

179

Views

Prove the theorem by using natural deduction in propositional logic. Is it right to use De Morgan laws?

Published on 26 Mar 2026 - 2:55

score 53 · Answer 7 · 2026-03-26 02:34:49

53

Views

get the proof of theorem using natural deduction

Published on 26 Mar 2026 - 2:34

score 45 · Answer 8 · 2019-12-19 21:22:16

45

Views

Find 4 formulas. Each pair has exactly one common model. Three of them have no common models

Published on 19 Dec 2019 - 21:22

score 405 · Answer 9 · 2026-02-23 02:59:31

405

Views

How to prove $((A \to B) \to A) \to A$ using Lukasiewicz's axioms, MP and deduction theorem?

Published on 23 Feb 2026 - 2:59

score 816 · Answer 10 · 2026-03-27 10:44:19

816

Views

Are deduction rules just truth tables?

Published on 27 Mar 2026 - 10:44

score 115 · Answer 11 · 2026-03-30 20:44:28

115

Views

Is there a sentence $\phi$ that is entailed by all sentences with the same properties as $\phi$? Does $\phi$ entail all of these sentences?

Published on 30 Mar 2026 - 20:44

score 172 · Answer 12 · 2019-12-20 21:35:46

172

Views

Seeking a proof equivalent to the story "She said that I would stop her if she told me why she is leaving, so I decided to stop her anyway!"

Published on 20 Dec 2019 - 21:35

score 53 · Answer 13 · 2019-12-21 07:43:04

53

Views

Help understanding the proof of the compactness theorem

Published on 21 Dec 2019 - 7:43

score 114 · Answer 14 · 2019-12-21 19:52:43

114

Views

laws of logic / rules of logic? to what extent is the distinction pertinent?

Published on 21 Dec 2019 - 19:52

score 82 · Answer 15 · 2019-12-22 03:48:12

82

Views

How to prove a statement that contains two biconditionals: Exercise in Pinter's A Book of Abstract Algebra

Published on 22 Dec 2019 - 3:48

List Question

Factorize Boolean Function

Why is Boolean complement not the same as integer cancellation?

Simple Fitch Proof

Discharging Assumptions and Conditional Introduction (Chiswell and Hodges)

Natural deduction for equivalence

Prove the theorem by using natural deduction in propositional logic. Is it right to use De Morgan laws?

get the proof of theorem using natural deduction

Find 4 formulas. Each pair has exactly one common model. Three of them have no common models

How to prove $((A \to B) \to A) \to A$ using Lukasiewicz's axioms, MP and deduction theorem?

Are deduction rules just truth tables?

Is there a sentence $\phi$ that is entailed by all sentences with the same properties as $\phi$? Does $\phi$ entail all of these sentences?

Seeking a proof equivalent to the story "She said that I would stop her if she told me why she is leaving, so I decided to stop her anyway!"

Help understanding the proof of the compactness theorem

laws of logic / rules of logic? to what extent is the distinction pertinent?

How to prove a statement that contains two biconditionals: Exercise in Pinter's A Book of Abstract Algebra

Trending Questions

Popular # Hahtags

Popular Questions