Categories
Tags
Logic
New post in Logic
What are good resources for learning predicate logic / predicate calculus?
August 1st, 2022
logic
Does law of excluded middle prove itself?
August 1st, 2022
logic
Which is the most powerful language, set theory or category theory?
August 1st, 2022
logic
soft-question
category-theory
set-theory
Showing unique prime factorization in first-order logic?
May 12th, 2021
prime-factorization
logic
prime-numbers
How can I prove this statement about subsets?
September 28th, 2020
elementary-set-theory
logic
Logical proposition for "Every positive integer can be written as the sum of 2 squares"
August 1st, 2022
logic
relations
propositional-calculus
'is odd' / 'is even' notation
August 1st, 2022
logic
notation
Sufficient but not Necessary conditions
November 25th, 2020
logic
Number of Non-isomorphic models of Set Theory
January 15th, 2020
model-theory
set-theory
logic
First-order vs. set-theoretic group theory
August 1st, 2022
group-theory
logic
Difference between consistency and satisfiability
August 1st, 2022
logic
Converting DNF to CNF (Boolean Logic)
July 26th, 2022
logic
propositional-calculus
disjunctive-normal-form
conjunctive-normal-form
XOR Combinations
November 8th, 2020
bit-strings
logic
binary
Given $(p ⇒ (q ⇒ r))$, use the Fitch system to prove $((p ⇒ q) ⇒ (p ⇒ r))$
July 21st, 2022
logic
Proof tautology With and Without Truth Tables
July 8th, 2022
logic
propositional-calculus
show that every propositional formula is equivalent to one using the connectives $\to$ and $\neg$
June 12th, 2022
logic
Find, with proof, a formula f(n) such that 1 − 2 + 3 − 4 + · · · + (−1)^(n−1)n = f(n) for all n ≥ 1.
June 25th, 2022
induction
logic
Formalizing sentences in predicate logic
February 22nd, 2020
logic
looking at the alphabet ,the letters are numbered 1-26 ,
June 15th, 2022
logic
number-theory
sequences-and-series
←
1
2
…
75
76
77
78
79
80
81
82
83
→