/sci/ - Science & Math » Thread #12052300

128KiB, 1280x1280, FB_IMG_1596963910807.jpg

View Same Google iqdb SauceNAO

Anonymous Wed 26 Aug 21:51:09 2020 No.12052300 View Reply Original Report

Quoted By: >>12052302

Assuming ?pp
Axioms and proof: https://imgur.com/a/6EDqPsB

Why does pp go into ? and why do I assume p is in ? when I have to solve for it?

Anonymous

Anonymous Wed 26 Aug 2020 21:51:36 No.12052302 Report

Quoted By:

>>12052300
p>p not pp*

Anonymous

Anonymous Wed 26 Aug 2020 23:43:29 No.12052630 Report

Quoted By: >>12053018

I'm not sure I understand your question but the phi. psi, and theta symbols represent metavariables for possible propositional statements and since p is trivially a statement we can plug it in, as well as p>p. That is in essence what we are doing here.

Anonymous

Anonymous Thu 27 Aug 2020 02:19:52 No.12053018 Report

Quoted By: >>12053690

>>12052630
Why is it trivially a statement?

Anonymous

Anonymous Thu 27 Aug 2020 09:09:04 No.12053690 Report

Quoted By:

>>12053018
Because p represents a proposition letter which is defined to be a statement-all other propositional statements arrive by logical connections between propositions by a typical recursive definition of the form 'if A and B are propositions then A>B is a proposition' but with all the logic symbols. To ground this recursive definition, need a starting point-all 'atomic' propositions like p are propositional statements.

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches