src/parser.py
def check_if_valid(self, vTable):
        ''' return false if truth matrix contains an instance of all true premises and a false conclusion '''
        #FIXME: make sure that we check correct values if we are checking negated terms!
        for vT in vTable:
            for idx, v in enumerate(vT):
                # while the value is true, continue to read
                if v == '1':
                    continue
                # if the last truth value is false, the argument is invalid
                elif v == '0' and idx == (len(vT)-1):
                    return False
                else:
                    break
        # argument is valid
        return True
 return false if truth matrix contains an instance of all true premises and a false conclusion 
return false if truth matrix contains an instance of all true premises and a false conclusion
return false if truth matrix contains an instance of all true premises and a false conclusion
def check_if_valid(self, vTable):
        for vT in vTable:
            for idx, v in enumerate(vT):
                if v == '1':
                    continue
                elif v == '0' and idx == (len(vT)-1):
                    return False
                else:
                    break
        return True
def check_if_valid ( self , vTable ) : for vT in vTable : for idx , v in enumerate ( vT ) : if v == '1' : continue elif v == '0' and idx == ( len ( vT ) - 1 ) : return False else : break return True
return false if truth matrix contains an instance of all true premises and a false conclusion
return false if truth matrix contains an instance of all true premises and a false conclusion
''' return false if truth matrix contains an instance of all true premises and a false conclusion ''' #FIXME: make sure that we check correct values if we are checking negated terms! # while the value is true, continue to read # if the last truth value is false, the argument is invalid # argument is valid
self
vTable