The Naked Scientists
Toggle navigation
Login
Register
Podcasts
The Naked Scientists
eLife
Naked Genetics
Naked Astronomy
In short
Naked Neuroscience
Ask! The Naked Scientists
Question of the Week
Archive
Video
SUBSCRIBE to our Podcasts
Articles
Science News
Features
Interviews
Answers to Science Questions
Get Naked
Donate
Do an Experiment
Science Forum
Ask a Question
About
Meet the team
Our Sponsors
Site Map
Contact us
User menu
Login
Register
Search
Home
Help
Search
Tags
Member Map
Recent Topics
Login
Register
Naked Science Forum
On the Lighter Side
New Theories
Can Definitions in Logic be Any Formula and still Preserve the Systems Soundnes?
« previous
next »
Print
Pages: [
1
]
Go Down
Can Definitions in Logic be Any Formula and still Preserve the Systems Soundnes?
0 Replies
719 Views
0 Tags
0 Members and 1 Guest are viewing this topic.
talanum1
(OP)
Hero Member
775
Activity:
0%
Thanked: 5 times
Naked Science Forum Newbie
Can Definitions in Logic be Any Formula and still Preserve the Systems Soundnes?
«
on:
29/08/2022 11:16:11 »
They define "AND" in terms of "OR" as: P AND Q =
Def
~(~P OR ~Q), but this is with the benefit of De Morgans Law which was proved. No wonder it preserves Soundness. The definitions don't figure in Soundness proofs.
Logged
Print
Pages: [
1
]
Go Up
« previous
next »
Tags:
There was an error while thanking
Thanking...