User Mariusz Popieluch

6 votes

Example of a set closed under consequence but not maximally consistent

answered Jul 10, 2023 at 19:26

2 votes

When proving if then statements, why do we assume the if part?

answered Dec 14, 2023 at 17:36

2 votes

Why $ M\models \forall x ( \alpha \to \beta)$ Is False?

answered Apr 15, 2015 at 9:07

2 votes

Accepted

first order: show that $\forall x (\phi \vee \psi) =\hspace{-.4em}|\models (\phi \vee \forall x \psi)$

answered Apr 14, 2015 at 15:49

2 votes

Accepted

Have I drawn this Venn diagram correctly?

answered Jun 3, 2015 at 9:14

2 votes

Is $\Diamond (p \rightarrow q) \rightarrow (\Diamond p \rightarrow \Diamond q)$ valid in K?

answered Jun 22, 2015 at 11:14

1 vote

Accepted

Tower diagram - logic expression? (queen problem)

answered Jun 9, 2015 at 13:41

1 vote

Need help with checking whether a predicate logic formula is a tautology.

answered Jun 22, 2015 at 17:32

1 vote

What is the difference between intuitionistic, classical, modal and linear logic?

answered Jun 1, 2015 at 13:28

1 vote

In which direction is this statement true?

answered Jun 2, 2015 at 18:07

1 vote

Accepted

How show $ S \models \forall x ( \alpha \Leftrightarrow \beta)$?

answered Apr 15, 2015 at 9:04

1 vote

Given nonempty sets S and T, does there exist a set R that is disjoint from S with |R|=|T|?

answered May 20, 2015 at 22:00

1 vote

If $4=5$, then $6=8\,$ (yes or no?)

answered Apr 18, 2015 at 21:16

1 vote

Rewrite predicate formulas in propositional calculus

answered Apr 19, 2015 at 13:21

1 vote

Accepted

a relation in logic

answered Apr 21, 2015 at 0:32

1 vote

Accepted

Counting and solving bijection

answered Apr 21, 2015 at 1:45

1 vote

Does logical consequence in classical logic assume finitely many premises/conclusions?

answered Dec 3, 2023 at 11:20

0 votes

Accepted

What is the cardinalities of the quotient set and individual abstraction classes?

answered Dec 4, 2023 at 18:09

0 votes

Negating a multiply quantified statement

answered Sep 14 at 9:03

0 votes

Accepted

Origin of ideals in order theory

answered May 19, 2015 at 20:37

0 votes

Order by inclusion

answered May 19, 2015 at 20:15

0 votes

How to find a maximum matching in this graph

answered May 22, 2015 at 19:03

0 votes

A riddle in logic and propositional logic

answered Feb 23, 2016 at 13:07

0 votes

Show that a set of logical connectives is expresively complete

answered Feb 25, 2016 at 14:00

0 votes

A step in the completeness proof of first-order logic

answered Feb 12, 2023 at 23:08

0 votes

Accepted

frequency and periodicity

answered Feb 9, 2023 at 18:34

Stack Exchange Network

26 Answers

Example of a set closed under consequence but not maximally consistent

When proving if then statements, why do we assume the if part?

Why $ M\models \forall x ( \alpha \to \beta)$ Is False?

first order: show that $\forall x (\phi \vee \psi) =\hspace{-.4em}|\models (\phi \vee \forall x \psi)$

Have I drawn this Venn diagram correctly?

Is $\Diamond (p \rightarrow q) \rightarrow (\Diamond p \rightarrow \Diamond q)$ valid in K?

Tower diagram - logic expression? (queen problem)

Need help with checking whether a predicate logic formula is a tautology.

What is the difference between intuitionistic, classical, modal and linear logic?

In which direction is this statement true?

How show $ S \models \forall x ( \alpha \Leftrightarrow \beta)$?

Given nonempty sets S and T, does there exist a set R that is disjoint from S with |R|=|T|?

If $4=5$, then $6=8\,$ (yes or no?)

Rewrite predicate formulas in propositional calculus

a relation in logic

Counting and solving bijection

Does logical consequence in classical logic assume finitely many premises/conclusions?

What is the cardinalities of the quotient set and individual abstraction classes?

Negating a multiply quantified statement

Origin of ideals in order theory

Order by inclusion

How to find a maximum matching in this graph

A riddle in logic and propositional logic

Show that a set of logical connectives is expresively complete

A step in the completeness proof of first-order logic

frequency and periodicity