Hey guys;(adsbygoogle = window.adsbygoogle || []).push({});

Are there any logic programs to solve logic questions? I mean, the stuff like where you prove an argument valid or invalid with sentence letters.

Like with this (i'm totally making this up, I dont' know if its valid or invalid, just giving an example).

(A v F) > (B*C)

F == C

~Q

----------

F v I

Or whatever, you know what I mean? My logic teacher talked about how a computer could solve them, but was talking about using the 2^X rule to solve it (say 2^6 in this case cause there is 6 different sentence letters.) I have only a shy background in computer science, and I'm curious if you could only solve these types of problems using a huge loop, or if you could solve them by interpretation, and which way would be easier?

Thank you,

AYCHAMO!

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

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

# Logic Programming

Loading...

Similar Threads - Logic Programming | Date |
---|---|

Logical partitions for an external disk | Feb 2, 2018 |

Using Arduino as a Logic Switch | Mar 16, 2015 |

Understanding the Matrices of Quantum Logic Gates | Dec 29, 2012 |

Logic gates in excitonic single-quantum-dot qubits | Sep 20, 2011 |

Programming Logics and Techniques | Jun 7, 2005 |

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