B What Math Is This? (Logic of Mathematics)

[askor]

Can someone please tell me what math is this (see below pic)? For example: algebra, calculus, etc.

 

[FactChecker]

It is symbolic logic.

 

[askor]

Does the Truth Table is included in Symbolic Logic?

 

[FactChecker]

Truth tables are an important basic tool of logic. But once some basic symbolic logic has been established (often using truth tables), it is easier to manipulate the symbols without resorting to truth tables.

 

[DaveC426913]

Here's a legend for those symbols:
https://en.wikipedia.org/wiki/List_of_logic_symbols

 

[pbuk]

Can someone please tell me what math is this (see below pic)?

Note that some of the statements in the picture are incorrect.

 

[WWGD]

I'd say this is Sentence Logic, as the inner structure of sentences is not considered, but rather it only matters whether they're assigned one of the values T or F.

 

[berkeman]

Can someone please tell me what math is this (see below pic)? For example: algebra, calculus, etc.

Note that some of the statements in the picture are incorrect.

Rhut-rho. @askor -- Please always post links to where you get images and quotes, etc. Where did you get this?

 

[WWGD]

My bad. I think I was only partially right, given the quantifies. It seems like a mix of Sentence Logic and Symbolic/First Order Logic. My bad.

 

[willem2]

My bad. I think I was only partially right, given the quantifies. It seems like a mix of Sentence Logic and Symbolic/First Order Logic. My bad.

Their use of quantifiers is weird. In all but the first two lines, p and q are logic propositions, which might be true or false, but ∀p or ∃p, really doesn't make sense make by itself. I suppose the first line means that:
~(∀x : P(x) ) ≡ Ex: ~(P(x)) which means
It isn't true that P(x) is true for all x is equivalent to there exists an x for which P(x) is false.
P(x) is a proposition that depends on x, such as x is married. This means the same as: if not everyone is married, there must exist an unmarried person.