Re: "Friendly Premises"
"Acme Diagnostics" <LFinezapthis@xxxxxxxxxxxxxxxx> writes:
> I have a great reason to be interested in the difference
> between premise/conclusion/valid logic (PCVL) and
> axiom/theorem/proof logic (ATPL) [...]
Since you invented these terms, you can specify the differences any
way you like. Relating them to the actual history of logic is a
different matter.
.
Relevant Pages
- CALENDAR
... I AM TRYING TO CREATE A CALENDAR FORM THAT ALL 12 MONTHS CAN BE VIEWED AT ... I WANT TO SPECIFY DAYS NOT PRESENT AND THE REASON WHY. ... CODE FOR REASON CAN ANYONE ... Prev by Date: ...
(microsoft.public.access.gettingstarted) - Re: OT - Bush will pardon Scooter
... > You said it was in the report, why can't you specify where? ... > reason - you lied and it doesn't exist in the report. ... Prev by Date: ...
(rec.outdoors.rv-travel) - Re: Insert a new field into a table?
... specify the desired columns in the desired order in every Select query anyway. ... The column order in the table is just a reflection of the order in which they ... There's no reason you couldn't copy off the data and re-import it ...
(microsoft.public.vb.general.discussion) - Re: Simple Validation Questins
... decided to disregard, for whatever reason). ... You seem to have a routine agenda of reading something extra into everything that you disagree with, in order to enhance your disagreement...? ... specify a hyperlink-colour. ... Sometimes you see a link-colour in - let's say - orange and then the visited link-colour will be blue. ...
(comp.infosystems.www.authoring.stylesheets) - Re: ANNOUNCE: SHA-224 in Digest::SHA
... There's a reason why NIST specified the SHA ... > validation program for PARTIAL-BYTE implementations. ... No it makes sense to specify the protocol on the bit level. ...
(sci.crypt) |
|
