[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4855: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4857: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4858: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4859: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
Roman Republic: Res publica Romana • View topic - [ΛΟΓΟΣ] De Logica Propositionali

[ΛΟΓΟΣ] De Logica Propositionali

The purpose of this collegium is to establish a group for those interested in ancient philosophy and a place where philosophical discussion and study may take place. Join at: http://romanrepublic.org/civitas/joint_ ... sophiae/42

Moderators: Marca Marcia, Gaius Flavius Aetius, Paullus Aemilius Gallus, Aula Flavia Philippa

[ΛΟΓΟΣ] De Logica Propositionali

Postby Gaius Florius Lupus » Sat Jul 01, 2017 11:31 pm

Attachments
truth table.jpg
truth table.jpg (14.06 KiB) Viewed 2145 times
Logica Propositionalis.pdf
(367.48 KiB) Downloaded 168 times
User avatar
Gaius Florius Lupus
 
Posts: 595
Joined: Tue Feb 16, 2016 11:33 am
Location: Africa Magna

Re: [ΛΟΓΟΣ] De Logica Propositionali

Postby Publius Sextius Laevus » Sun Jul 02, 2017 5:06 pm

Salvete Lupe, et Omnes Logici Rationabilesque

How would the if-then-else if-else:
if (p) then
q=V
else if (r) then
s=V
else
t=V
end if

be expressed?

(p=>q) and ((not p and r)=>s) and ((not p and not r)=>t)

noting that q=V does not necessarily mean p=V.

Valete
Laevus
'Fiat Lux! Fiat Vita!'
User avatar
Publius Sextius Laevus
Senator
Senator
Consul
Consul
 
Posts: 371
Joined: Mon Apr 18, 2016 12:12 am

Re: [ΛΟΓΟΣ] De Logica Propositionali

Postby Gaius Florius Lupus » Mon Jul 03, 2017 9:32 am

Salve Laeve,

You are using modern programming language, which is indeed also a form of deductive logic, mostly based on propositional logic, but still with a different syntax. In propositional logic there is no ELSE, ENDIF is indicated by brackets, and we deal strictly with propositions, not terms.

In your case "q=V", "s=V" and "t=V" are the propositions, q,s,t and V are terms.
We would have to redefine them as propositions the following way and replacing the lower case letters with upper case letters to indicate terms and vice versa:
q ≡ Q=V
s ≡ S= V
t ≡ T= V
Terms are now upper case letters and propositions lower case letters.

Then we can write it as following:
[p ⇒ q] ∧ [¬p ⇒ ((r ⇒ s) ∧ (¬r ⇒ t))]

Vale!
User avatar
Gaius Florius Lupus
 
Posts: 595
Joined: Tue Feb 16, 2016 11:33 am
Location: Africa Magna


Return to Collegium Philosophicum

cron