0
   

General Dependency in 1st Order Logic?

Forums: Logic
Email this Topic • Print this Page
 
 
sgeneris
 
Reply Thu 30 Mar, 2023 11:51 am
I've seen a reference to "general dependency constraint" expressible in FOL but I am unable to find any source that discusses it. Is there such a thing and, if so, how is it expressed in FOL? Would appreciate any source that explains it.
Thanx.
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 833 • Replies: 0
No top replies

 
 

Related Topics

A2K challenge! - Discussion by HexHammer
Logic Proof Help - Question by crimhaze
THE TEN COMMANDMENTS OF LOGIC - Discussion by Ragman
CONSTRUCT A FORMAL PROOF FOR THE ARGUMENT USING THE INDIRECT METHOD - Question by ArianaMaria
Derivations vs. symbolisation? - Question by collegestudent123
Logic word problem - Question by johnr
Cause of death..... - Discussion by gungasnake
Need help in defining - Question by ichishti
Predicate Logic Help - Question by splenax
can logic be seen as a property of the universe itself? - Question by sapmi
The abusive use of the arguments against Logic and Truth - Discussion by Fil Albuquerque
 
  1. Forums
  2. » General Dependency in 1st Order Logic?
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 05/08/2024 at 02:17:46
▲ ▼