How can we write a sentence in first-order logic that says that a graph has exactly 6 edges? i.e. G= (V,E) (logically implies) iff |E|=6(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# First-order logic : repesenting graphs

Loading...

Similar Threads for order logic repesenting | Date |
---|---|

A Transcription from SQL to FOL (First Order Logic) | Jun 3, 2017 |

A First order logic : Predicates | Jun 1, 2017 |

I First order logic - help with translation algorithm between | Jun 5, 2016 |

Are formal systems of first order logic incomplete? | Oct 21, 2015 |

Integration described by first-order logic? | Aug 19, 2013 |

**Physics Forums - The Fusion of Science and Community**